html, body {
    height:100%;
    margin:0;
    padding:0;
}

body {
    background-color:#FFFFFF;
    color:#000000;
    font-family:Helvetica,Arial,sans-serif;
    font-size:small;
    margin:3px 8px;

    max-width:956px;
    padding-left:24px;
}

#package-header {
	background: #eaeaea url(haskell_icon.gif) no-repeat 5px 6px;
	height: 2em;
	margin: 0 0 0 -10px;
	position: relative;
}

#package-header .caption {
	margin-left: 30px;
	padding-top: 6px;
}



div#style-menu-holder {
	position: relative;
	z-index: 2;
	display: inline;
}

#style-menu {
	position: absolute;
	z-index: 1;
	overflow: visible;
	background-color: #eaeaea;
	margin: 0;
	width: 6em;
	text-align: center;
	right: 0;
	padding: 0 2px 1px;
	border-left: 1px solid #919191;
	border-right: 1px solid #919191;
	border-bottom: 1px solid #919191;
}

#style-menu li {
	display: list-item;
	border-style: none;
	margin: 0;
	padding: 3px;
	color: #000;
	list-style-type: none;
}

#style-menu li + li {
	border-top: 1px solid #919191;
}

#module-header .caption {
    background:transparent none repeat scroll 0 0;
    border:medium none;
    font-size: 170%;
    line-height: 130%;
    margin:0 0 0 -10px;
    /* padding:0.8em 0 0; */

    background-color:#E5ECF9;
    border-top:1px solid #3366CC;
    padding:1px 3px;
	font-weight: bold;
	position: relative;
}


dl.info {
	position: absolute;
	display: block;
	right: 1em;
	top: 3em;
    background-color:#FAFAFA;
    border:1px solid #BBBBBB;
    padding:0.99em;
}

dl.info dt {
	float: left;
	clear: left;
	width: 5em;
	font-weight: bold;
	margin: 0;
	padding: 0;
}

dl.info dd {
	padding-left: 6em;
	margin: 0;
}

#description .caption,
#synopsis .caption,
h1 {
    background-color:#E5ECF9;
    border-top:1px solid #3366CC;
    font-size:130%;
    font-weight:bold;
    margin:2em 0 0 -10px;
    padding:1px 3px;
    position:relative;
}

#table-of-contents .caption,
h2 {
    font-size:130%;
    font-weight:bold;
    margin:1.5em 0 0;
    padding: 0;
    top:0;
}

#synopsis li.src * {
	display: inline;
}

#synopsis ul.subs,
#synopsis ul.subs li {
	padding: 0 0 0 0.25em;
	margin: 0;
}

#footer {
    color:#666666;
	background-color: #eaeaea;
	margin: 2em 0 0 -10px;
	position: relative;
}

#footer p {
	margin: 0;
	padding: 0.5em;
	border-top: 1px solid #919191;
}

ol, ul {
    line-height:125%;
    margin:0.5em 0 0 15px;
    padding:0;
}

li {
    margin:0.3em 0 0 1.5em;
    padding:0;
}

p {
    line-height:125%;
    margin:0;
    padding:0;
}

h1 + p, h2 + p, h3 + p,
pre + p,
p + p {
	padding-top: 1em;
}

code, pre {
    color:#007000;
    font-family:monospace;
}

pre {
    background-color:#FAFAFA;
    border:1px solid #BBBBBB;
    font-size:9pt;
    line-height:125%;
    margin:1em 0 0;
    overflow:auto;
    padding:0.99em;
}

code {
    font-size:10pt;
}

a, a:link {
    color:#0000CC;
}

ul.links {
	list-style: none;
	position: absolute;
	right: 1px;
	top: 0;
}

ul.links li {
	display: inline;
	white-space: nowrap;
	padding: 0 10px;
	border-left: 1px solid #919191;
	margin: 0;
}

dl {
    line-height:125%;
    margin:0;
    padding:0;
}

dt {
    font-weight:normal;
    margin:0.75em 0 0;
    padding:0;
}

dd {
    font-weight:normal;
    margin:0.4em 0 0 2em;
    padding:0;
}

.hide {	display: none; }
.show { }

.top, .subs {
    margin:0.4em 0 0 2em;
    padding:0;
}

.top .src {
    font-family:monospace;
    font-size:larger;
    font-weight:bold;
    margin:0.75em 0 0 -2em;
    padding:0;
}

.top .subs .src {
	margin-left: 0;
}

.arguments {
	margin: 0 0 1em;
}
.arguments .caption,
.fields .caption {
	display: none;
}

.associated-types,
.constructors,
.methods {
    background-color:#FAFAFA;
    border:1px solid #BBBBBB;
    padding:0.99em;
}

.caption {
	margin-top: 0;
	padding-top: 0;
}

.subs .caption {
	font-weight: bold;
	color: #919100;
}

.subs td {
	padding-right: 1em;
	padding-left: 1em;
}