/* Style sheet for documents, William Robertson 2002-2011: www.williamrobertson.net. */

html {
	background: #fdfdfe;
	color: black;
	z-index: 1;
	font-family: Trebuchet MS, Tahoma, Verdana, Arial, sans-serif;
	font-size: 10pt;
	}

html, body {
	margin: 3em;
	margin-top: 0em;
	}

pre { margin: 2em 3.4em; }

ul, ol { margin-top: 1.5em; margin-bottom: 1.5em; }

p.feedTitle * {
	text-decoration: none;
	color: #FFFACD;
	}

#doctitle, p.feedTitle * { color: #FFFACD; }

#doctitle, p.feedTitle {
	font-size: 18pt;
	font-weight: bold;
	font-style: normal;
	background: rgb(89,96,128) /*#596080 */ /*#191970 midnightblue */;
	padding: 22px 28px 11px;
	height: 29px /*Adjust to line up with top frameset of indexframe.html (problems in IE though */;
	}

pre, span.code, tt {
	white-space: pre;
	page-break-after: avoid;
	font-style: normal;
	font-family: consolas, andale mono, lucida sans typewriter, lucida console, monospace;
	color: rgb(32,32,96);
	font-size: 90%;
	}

pre.codecomment, span.codecomment {
	color: #808090; 
	font-style: italic;
	}

blockquote, blockquote p, blockquote pre {
	font-style: italic;
	}

blockquote, .inset {
	color: rgb(66,47,85);
	background-color: rgb(255,250,200);
    font-size: 90%;
	}

blockquote, pre.inset, div.inset, ul li pre.inset {
	margin: 2em 0em;
	padding: 2em 2em 2em;
	border: medium #D2B48C outset;
	}

.inset em
	{
	font-weight: bold;
	font-style: normal;
	}

/* Give pre the last word in font (otherwise can inherit from blockquote etc) */
blockquote pre, pre.inset
	{
	font-style: normal;
	color: rgb(60,40,120);
	}

ul li * { margin-left: 0; }

ul {
	padding-left: 0em;
	list-style: none;
	}

ul li {
	margin-left: 0em; margin-bottom: 1em;
	padding-left: 3em;
	background: url(../gifs/greenbullet.gif) 0px .1em no-repeat;
	}

li pre { margin-top: 1em; }

ul ul li,
ul li ul li,
ol ul li,
ol li ul li { background: url(../gifs/bluebullet.gif) 0px .1em no-repeat; }

ul li.goodbullet { background: url(../gifs/tick.gif) 0px -2px no-repeat; }

ul li.badbullet {
	background: url(../gifs/x.gif) no-repeat;
	color: red;
	}

ul li.badbullet pre { color: red; }

/* All heading styles: */
h1, h2, h3, h4, h5, h6 {
	font-family: Trebuchet MS, Tahoma, Verdana, Arial, sans-serif;
	margin-top: 2em;
	margin-bottom: 0.6em /*page-break-after: avoid; */;
	}

h1 {
	background-color: white;
	padding: 13px 2.2em 8px;
	margin-top: 0em; margin-left: -2.2em; margin-right: -2.2em;
	font-size: 260%;
	border-color: rgb(80,100,140);
	border-style: solid;
	border-width: 1px;
	border-top: none;
	border-left: none;
	border-right: none;
	}

h2	{ color: rgb(40,50,85); }

h1,h3,h5    { color: rgb(80,100,140); }

pre span.highlight {
    color: rgb(85,110,180);
	}

h4	{
	color: #804045; }

h2 {
	font-size: 190%;
	font-weight: bold;
	}

h3 {
	font-size: 150%;
	}

h4 {
	font-size: 135%;
	}

h5 {
	font-size: 120%;
	font-weight: normal;
	font-style: italic;
	}

/* "x + y" = "first y following an x" (except in f*cking MSIE, naturally) */
h1+h2 { margin-top: 2em; }

h2+*,
h3+*,
h4+*,
h5+* { margin-top: 1em; }

#doctitle+h1 { margin-top: 0px; }

.quotation p {
	padding: 1em;
	margin: 0em;
	font-size: 8pt;
	}

div.quotation, div.footnote, div.footnote p {
	left: .4em;
	right: .4em;
	bottom: .4em;
	border: thin #D2B48C outset;
	font-size: 85%;
	color: #191970 /*midnightblue */;
	font-style: italic;
	float: right;
	width: 25%;
	margin: 0em;
	padding: .25em .5em;
	padding-left: 1em;
	background-color: #FFFACD /*lemonchiffon */;
	}

div.footnote, div.footnote p {
	position: fixed;
	visibility: hidden;
	color: black;
	float: none;
	width: 95%;
	margin: 0em;
	padding: 1em;
	}

a:link {color: #705050}     /* unvisited link */
a:visited {color: #808090}  /* visited link */

a.footnotereference {
	vertical-align: super;
	font-size: 75%;
	text-decoration: none;
	background-color: yellow;
	}

a.term { font-style: italic; }
div.footnote span.footnotereference { display: none; }
div.footnote tt, div.footnote i, div.footnote em { font-style: normal; }
span.code { font-size: 90%; } /* font-style: italic;} */

p.Tabletext, li.Tabletext, div.Tabletext {
	margin-top: 3pt;
	margin-right: 0pt;
	margin-bottom: 3pt;
	margin-left: 0pt;
	font-size: 9pt;
	font-family: Verdana, sans-serif;
	}

/* Tables: prior to CSS2, had to specify each <TABLE> as: <table cellspacing=0 border=3> */

table, td, th, td.p, th.p  {
	text-align: left;
	vertical-align: top;
	border-color: #808090;
	border-style: solid;
	border-width: 1px;
	background: white;
	padding: .5em .6em;
	}

table {
	border-collapse: collapse;
	margin-top: 1.2em;  /* Space above table itself */
	margin-bottom: 1.2em;
	border-width: 3px;
	font-size: 90%;
	margin-bottom: 1em;
	}

td, td.p, th.p {
	margin: .2em;
	}

th {
	color: #808090;
	color: rgb(90,100,115);
	color: rgb(66,47,85); /* Same as table outer border */
	background: #f0f0fb;
	min-width: 5em;
	font-weight: bold;
	font-size: 116%;
	margin: .2em;
	padding-bottom: .4em;
	}

.nopadding {
	margin-top: 0em;
	margin-bottom: 0em;
	padding: 0em;
	border: none;
	}

td pre, li pre { margin-left: 0px; }

td pre { margin-top: 0px; }

img {border: none; }
img.screenshot { margin-top: -2mm; margin-left: -3.5mm; display: block; }
img.screenshot + h3 { margin-top: 1em; }

div#byline {
	margin-top: 6em;
	padding-top: 1em;
	font-size: 8pt;
	font-style: italic;
	border-top: thin solid silver;
	color: silver;
    }

div#byline p {
	margin-bottom: -.5em;
	}

div#byline a:link, div#byline a:visited {color: silver;}