/*
 * main body setup
 */

/* Mr. Boddy */
body { background-color: #fff;
       color: #000;
       font-family: sans-serif;
     }

/* main content container */
div#body  { width: 79%; }

/* thank-yous */
div#ack { font-size: x-small;
	  border-top: solid #79f thin;
	  margin-top: 5em;
	}
div#ack h2 { margin-top: 0; }

/* document purpose block at top */
table#whowhat { /* width: 90%; */
		margin-left: 2%;
	      }
table#whowhat td { background-color: #ddd; 
		   padding: 0.2em; 
		   vertical-align: top;
		 }


/*
 * TOC
 */
div#TOC { background-color: #cef; 
	  border: solid #000 thin;
	  margin-top: 1.5em;
	  margin-left: 2%;
	  margin-bottom: 1.5em;
	  padding: 0.3em;
	  width: 60%;
	  font-size: small;
        }


/*
 * magic notes styling
 */

/* the notes holder div itself */
div#sidebar { position: fixed;  /* stick it in place   */
	      top: 0;           /* and make it take up */
	      bottom: 0;        /* the entirety of     */
	      right: 0;         /* the right margin    */
	      padding-top: 0;
	      padding-left: 0.5em;
	      padding-right: 0.5em;
	      padding-bottom: 1em;	    
	      background-color: #9bf;
	      color: #000;
	      font-size: small;
	      width: 18%;           /* leave a 3% gutter */
	      overflow: auto;       /* ...and handle spillage gracefully */
	    }

/* just some styling on the notes header */
/* (not actually a header, bad hwopsen)  */
div#sidebar p.notehead { font-size: large;
		         font-weight: bold;
		         border-bottom: solid #000 thin;
		       }

/* the little red+white X that lets you clear notes by hand */
div.closebox { background-color: #900;
	       color: #fff;
	       border: solid #777 thin;
	       float: right;
	       text-align: center;
	       font-weight: bold;
	       width: 1.2em;
	       cursor: pointer;
	     }

/* and the in-document anchors to the notes */
span { color: #68e;
       cursor: pointer;
     }




/*
 * general purpose styling
 * nothing special going on here
 */
h1,h2,h3,h4 { color: #79f; clear: left; }
h2          { border-bottom: solid #79f thin; }

p        { margin-left: 2%; }    /* all paras */
p.attrib { text-align: right;    /* who said it, for blockquotes */
           margin-right: 1em; 
	   margin-bottom: 0.2em;
	 }
p.precis { font-style: italic;   /* the Dickensian summaries */
	   font-size: small;
	   font-family: serif;
         }

ol { margin-left: 5%; }

pre { background-color: #ddf;
      color: #000;
      border: solid #777 medium;
      overflow: auto;
      font-family: monospace;
      padding: 0.2em;
      width: 90%;
      margin-left: 5%;
      font-size: large;
    }
pre.screen { background-color: #000;  /* screenshots */
	     color: #fff;
	     border: solid #777 medium;
	   }

blockquote { font-family: serif;     /* regular blockquotes */
	     background-color: #ddd; 
	     font-style: italic;
	     border: solid #ccc thin;
	     width: 90%;
	     margin-left: 5%;
	   }

blockquote.warn { background-color: #fb5; /* WARNING boxes */
		  font-family: sans-serif;
		  font-style: normal;
		  padding: 0.2em;
		}


/* misc stylistic */
.bullet { font-weight: bold; }
span.rev { color: black; background-color: #fff; }
code { color: #35f; font-size: large; }
dt { font-weight: bold; }
#lastmod { font-style: italic; }