/* Style sheet for Nvu user Guide - Nvu version 1.0  - Updated 15 July-2005 */

/* Global Tag styles */
body { margin: 15px 10px; /* Default margin values in MSIE 5+ */
	background: white url(images/paper.gif) fixed;
	color: black;
	padding: 0px; /* Neutralizing Opera 6+'s padding: 8px; on body */
	font-family: Arial, Helvetica, sans-serif; font-size: small;}
p, table                { margin: 0.3em 0 0.3em 3em }
ol, ul                  { margin: 0em 0em 0em 4em; list-style-position: inside;  padding: 0; }
li                      { margin: 0; padding: 0; }
li  ul                  { margin: 0em 0em 0em 2em; list-style-type: none;  }
h1, h2, h3, h4          { color: rgb(66, 137, 181); }
h1                      { font-size: x-large; margin-top: 1em; margin-bottom: 0.5em; text-align: center; }
h2                      { font-size: medium;  margin: 2em 0 0.3em 0;  }
h3, h4                  { font-size: small;   margin: 0.5em 0 0.3em 0; }
td                      { padding-left: 4px; padding-right: 4px;  }
blockquote	        { margin-top: 0.3em; margin-bottom:  0.3em; }
code                    { font-family: "Courier New", Courier, Monospace; font-size: small; } /* Size neutralizing IE not inheriting */


/* Anchor styles */
a:link                  { text-decoration: underline; font-weight: bold; color: rgb(66, 137, 181); }
a:visited               { font-weight: bold; color: rgb(66, 137, 181); }
a:hover                 { text-decoration: none; color: rgb(66, 137, 181); background-color: rgb(238, 238, 238); }
a:focus                 { color: white; background-color: rgb(73, 149, 196); }

/* Classes */
.cent                   { text-align: center; }
.key                    { background-color: rgb(186, 218, 255);  white-space: nowrap;  font-family: sans-serif; font-size:100%; padding-right: 2px; padding-left: 2px; }
.left                   { float: left; }
.madewithnvu            { margin-left: 50px; margin-right: auto; margin-top: 10px; }
.note { margin-left: 4em; margin-right: 1em; padding-left: 0.35em; padding-right: 0; background-color: rgb(255, 255, 204); }
.noteflush              { margin-left: 0; margin-right: 1em; padding-right: 0; background-color: rgb(255, 255, 204); }
.right                  { float: right; }
.tsp                    { font-size: x-small ;}
.warn                   { margin-left: 4em; margin-right: 1em;  padding-left: 0.35em; padding-right: 0;  border-style: solid none;  border-color: rgb(0, 0, 0);  border-width: 1px;  background-color: rgb(255, 186, 144);   }
.warnflush              { margin-left: 0; margin-right: 1em; padding-right: 0;  border-style: solid none;  border-color: rgb(0, 0, 0);  border-width: 1px;  background-color: rgb(255, 186, 144);   }


/* Pane styles */

/* Main pane */
.panemain                 { position: absolute; top: 0px; left: 190px; padding: 8px; }

/* Menu pane */
.panemenu                 { position: fixed; top: 0px; left: 10px; width:180px; height: 100%; overflow: auto; }
div.panemenu p            { margin:0;  font-weight: bold; color: rgb(66, 137, 181); margin-left: 2px; }
div.panemenu a:link       { text-decoration: none; color: rgb(66, 137, 181); }
div.panemenu a:visited    { text-decoration: none; color: rgb(66, 137, 181); }
div.panemenu a:hover      { color: rgb(73, 149, 196); background-color: rgb(238, 238, 238); padding: 0px 8px 0px 2px ; margin: -2px; }
div.panemenu a:focus      { color: rgb(73, 149, 196); background-color: rgb(238, 238, 238); }
div.panemenu ul           { border: solid rgb(66, 137, 181) 1px; margin-left: 1em; padding-left: 0.25em; margin-right: 0.25em;  list-style-type: none;}
div.panemenu ul a:link    { text-decoration: none; color: rgb(33, 80, 100); font-weight:normal; }
div.panemenu ul a:visited { text-decoration: none; color: rgb(33, 80, 100); font-weight:normal; }
div.panemenu ul a:hover   { color: rgb(73, 149, 196); background-color: rgb(238, 238, 238); }
div.panemenu ul a:focus   { color: rgb(73, 149, 196); background-color: rgb(238, 238, 238); }

/* Other divs */

div.tip                   { background-color: rgb(244, 248, 255); border: solid  rgb(66, 137, 181)  4px; border-collapse: collapse; width: 25%;  float: right; }
div.tip p                 { margin-left: 0; padding: 4px; }
div.tip li                { margin-left: 0; padding: 4px; }
div.tip ul                { margin-left: 0.75em; padding: 4px; }


/* Other selectors */

table.topmenu td         { background-color: rgb(74, 148, 197); width: 20%; text-align: center; color: white; font-weight: bold;  padding:2px; }
table.topmenu a          { display: block; padding: 0; margin: 0; } /* padding and margin needed by Opera */
table.topmenu a:link     { color: white;  text-decoration: none; }
table.topmenu a:visited  { color: white;  text-decoration: none; }
table.topmenu a:hover    { color: rgb(74, 148, 197);  text-decoration: none; margin: 0; background-color: rgb(238, 238, 238); } /* Margin needed by IE */
table.bordered           { background-color: white; border: solid  rgb(66, 137, 181)  2px; border-collapse: collapse;  margin-left: auto; margin-right: auto;  }
table.borderedright      { background-color: white; border: solid  rgb(66, 137, 181)  2px; border-collapse: collapse;  float: right; }
table *.key              { font-family: sans-serif; font-size: 80%; }