body
{
	margin: 0;
	padding-left: 21em;
	line-height: 1.2;
	color: black;
	background: white;
	font-size: 90%;
}

body, code
{
	font-family: verdana, sans serif;
}

code
{
	font-weight:bold;
	color:#446;
}

div#main
{
	min-width: 41em;
	max-width: 58em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	padding-right: 3em;
}

div#navbar
{
	font-size: 95%;
	font-family: arial, sans serif;
	padding: 0.5em 1em 0 1em;
	margin: 0;
	overflow: auto;
	height: 100%;
	width: 18em;
	position: absolute;
	top: 0;
	left: 0;
	color: black;
	background: white;
}

@media screen
{
	div#navbar
	{
		position: fixed;
	}
}

*html div#navbar { position:absolute; }		/* For IE6 */

p, li
{
	margin-top: 0.7em;
	margin-bottom: 0.7em;
}

ul
{
	margin-top: 0.5em;
	margin-bottom: 0.6em;
}

dt
{
	font-weight: bold;
	margin-bottom: 4pt;
}

dd
{
	margin-bottom: 4pt;
}

b
{
	font-weight:normal;
	background-color:#ffa;
}

pre, pre.output
{
	font-family: consolas, "courier new", monospace;
}

pre
{
	margin: 0;
	padding: 3pt 6pt 3pt 4pt;
}

table
{
	border-collapse:collapse; 
	border:2px solid #666;
}

table.linqpad
{
	font-size:90%;
	margin: 0 1.5em 0 1.5em;
	border:2px solid #17b;
}

th
{
	text-align:left;
	padding: 2pt 3pt 2pt 3pt;
	background-color: #eee;
	border:1px solid #666;
}

td
{
	padding: 2pt 3pt 2pt 3pt;
	background-color: White;
	border:1px solid #666;
}

td.typeheader
{
	font-family: tahoma;
	font-size: 90%;
	font-weight: bold;
	background-color: #17b;
	color: white;
}

pre.output
{
	margin-top: 0.6em;
	margin-bottom: 0.6em;
	margin-left: 0;
	margin-right: 0;
	padding-top: 25px;
	padding-bottom: 0.3em;
	padding-left: 0.5em;
	padding-right: 0.5em;
	color: white;
	background-color: #202020;
	background-image: url('output.png');
	background-position: 1px 0px;
	background-repeat: repeat-x;
	border-style: ridge;
	border-width: 1px;
}

div.figure
{
	margin: 1.5em 0 1.5em 0;
	text-align:center;
}

p.title
{
	font-size: 300%;
	font-weight: bold;
	text-align: center;
	margin-top: 2pt;
	margin-bottom: 0;
}

p.author
{	
	text-align:center;
	font-size:140%;
	font-weight:bold;
	margin-top: 2pt;
}

p.sectiontitle
{
	text-transform: uppercase;
	text-align:center;
	font-size: 180%;
	font-weight: bold;
	margin-top: 1.2em;
	margin-bottom: -6pt;
	padding:3pt;
	border: solid 2px black;
}

a:link
{
	color: #0060C0;
}

div.linqpad
{
	border: 4px solid #9A3858;
	margin-top: 1em;
	margin-left: 1.5em;
	margin-bottom: 1em;
	padding: 3px 7px 2px 7px;
	width: 284px;
	float: right;
	text-align: center;
	font-weight:bold;
}

div.book
{
	padding: 1em 0.5em 0.5em 1em;
	background-color: #F9F8DD;
	font-family: arial, sans serif;
	width: 14.5em;
	float: right;
	margin: 1em 0 0 1.5em;
	border: solid 3px brown;
}

h1, h2, h3
{
	text-align: left;
	font-family: arial, sans-serif;
	font-weight: bold;
}

h1
{
	font-size: 220%;
	margin-top: 1.5em;
	margin-bottom: 0.4em;
	border-bottom: 2pt solid teal;
	color: teal;
}

h2
{
	font-size: 145%;
	margin-top: 1em;
	margin-bottom: -0.2em;
	color: teal;
}

h3
{
	font-style: italic;
	margin-top: 1em;
	margin-bottom: -0.2em;
	color: #333;
}

p.note, p.warning, div.note, div.warning
{
	margin-top: 0.8em;
	margin-bottom: 0.6em;
	margin-left: 1.5em;
	margin-right: 1.5em;
	padding-top: 16px;
	padding-bottom: 16px;
	padding-left: 80px;
	padding-right: 1em;
	background-image: url('pawprints.png');
	background-position: 7px 20%;
	background-repeat: no-repeat;
	border-style: solid;
	overflow:hidden;
}

div.note, div.warning
{
	padding-top: 0;
	padding-bottom: 4pt;
}

p.note, div.note
{
	border-color: teal;
	border-width: 3px;
}

p.warning, div.warning
{
	border-color: #B02000;
	border-width: 5px;
}

div.sidebar
{
	margin: 1.5em 0 1.5em 0;
	padding: 1em 1em 0.7em 1em;
	border: solid 3px teal;
	background-color: #eff;
}

p.sidebartitle
{
	font-size: 140%;
	text-align: center;
	color: Teal;
	font-weight: bold;
	font-family: arial, sans-serif;
	margin-top: 0;
	margin-bottom: 0.5em;
}

span.pseudo
{
	font-family: "comic sans ms" , cursive;
	color: #FF6600;
}

a:link.nutshellref, a:visited.nutshellref
{
	text-decoration: none;
	font-weight: bold;
	color: #C00;
}

/* Navigation styles */

p.navtitle
{
	font-family: arial, sans serif;
	font-weight: bold;
	font-style: italic;
	font-size: 105%;
	color: #555;
	margin-top: 0em;
	margin-bottom: -0.4em;
}

p.navsectioncontainer
{
	margin: 7pt 0 0 0;
	border: solid 1px #888;
}

a:link.nav0, a:visited.nav0, a:active.nav0,
a:link.nav0a, a:visited.nav0a, a:active.nav0a
{
	display:block;
	text-decoration: none;
	font-weight:bold;
	font-family: arial, sans-serif;
	background: #d0d0d0;
	margin: 0;
	padding: 2pt 3pt 2pt 3pt;
}

a:link.nav0a, a:visited.nav0a, a:active.nav0a
{
	background: #EAEAA0;
}

a:link.nav1, a:visited.nav1, a:active.nav1, a:link.nav2, a:visited.nav2, a:active.nav2,
a:link.nav1a, a:visited.nav1a, a:active.nav1a, a:link.nav2a, a:visited.nav2a, a:active.nav2a
{
	display:block;
	text-decoration: none;
	font-family: arial, sans-serif;
	background: #eee;	
	margin: 0;
}

a:link.nav1a, a:visited.nav1a, a:active.nav1a, a:link.nav2a, a:visited.nav2a, a:active.nav2a
{
	background: #F9F8DD;
}

a:link.nav1, a:visited.nav1, a:active.nav1,
a:link.nav1a, a:visited.nav1a, a:active.nav1a
{
	font-size:90%;
	font-weight:bold;
	padding: 0.5pt 3pt 0.5pt 3pt;
}

a:link.nav1a, a:visited.nav1a, a:active.nav1a
{
	padding: 2pt 3pt 1pt 3pt;
}

a:link.nav2, a:visited.nav2, a:active.nav2,
a:link.nav2a, a:visited.nav2a, a:active.nav2a
{
	font-size:85%;
	font-weight:normal;
	padding: 0pt 3pt 1pt 15pt;
}

/* Top TOC */

table.toc
{
	border:none;
	margin-top:6pt;
}

td.toc, td.tocactive, th.toc, th.tocactive
{
	background: #eee;
	text-align: center;
	font-size: 110%;
	font-weight: normal;
	font-family: Arial, Sans-Serif;
	padding: 5pt 8pt 5pt 8pt;
	border:none;
	border-right: solid 3pt white; 
}

td.toc { background: #EEE; }
td.tocactive { background: #F9F8DD; font-weight:bold; font-size:130%; text-transform: uppercase; }
th.toc { background: #D0D0D0; }
th.tocactive { background: #EAEAA0; font-weight:bold; font-size:130%; text-transform: uppercase; }

a:link.toc, a:visited.toc, a:active.toc
{
	text-decoration: none;
	font-size: 110%;
}