/* CSS 2 stylesheet to standardize look of HTML on derose.net. 

This stylesheet was written December 26, 2002 by Steven J. DeRose, 
sderose*acm.org, steve*derose.net.

I hereby place this stylesheet in the public domain.
This stylesheet comes with no warrantly of any kind. It is "as is".
Enhancements, fixes, or suggestions may be sent to me at sderose*acm.org.

Last modified 2005-10-16 sjd.

Colors I may be using:
  #9400d3	DarkViolet 	 
  #8a2be2	blue violet
  #836fff	SlateBlue1
  #d02090	VioletRed
  #ff00ff	magenta1
  #e6e6fa	lavender
  #fff0f5	LavenderBlush
  #ff4500	orange red
  ff1493	DeepPink1
  #228b22	ForestGreen
  #ffe4e1	MistyRose (if I had a daughter, this would clearly be her color)
  
  
  Hues considered (see http://december.com/html/spec/colorhslhex10.html): 
                        background   text      bold
    310 lavender        #E052C9      #8a0f75   #5C0A4E
    220 blue            #759EF0      #083691   #002266
*/

html      	{ margin-left:24pt; }
head      	{ display:block; margin-left:12pt; }
body      	{ display:block; white-space:normal; 
   			  margin-left:12pt; margin-right:24pt; margin-top:24pt; margin-bottom:36pt;
			  font-family: Garamond, Century Schoolbook, Arial; 
			  background-color:#759EF0; color:#083691; 
		      }
back      	{ display:block; margin-left:12pt; counter-reset:d1; 
			  border-top:#002266; }

hr        	{ background-color:#759EF0; 
			  color:#002266; }
span.dark 	{ color:#002266; }
:link	  	{ color:#002266; }

h1 		  	{ display:block; margin-top:36pt; 
			  font-family:helvetica; font-size:36pt; font-weight:bold; font-style:italic; 
			  color:#083691;}
h2 		  	{ display:block; margin-top:24pt; 
			  font-family:helvetica; font-size:24pt; font-weight:bold; 
			  color:#083691;}
h3 		  	{ display:block; margin-top:18pt; 
			  font-family:helvetica; font-size:18pt; font-weight:bold; 
			  color:#083691;}
h4			{ display:block; margin-top:18pt;
			  font-family:helvetica; font-size:14pt; font-weight:bold;
			  color:#083691;}

note		{ display:block; margin-left:24pt; margin-top:12pt; 
			  border:thin #002266 solid;}
note:before { display:inline; font-weight:bold; content:"Note\: "; 
			  color:#002266; }

p         	{ display:block; margin-top:12pt; }

ul li     	{ display:list-item; margin-top:12pt; list-style-type:square;}
ol li     	{ display:list-item; margin-top:12pt; }
dt        	{ display:block; margin-top:12pt; }

pre         { display:block; font-family:courier; font-size:smaller; white-space:pre; 
  			  margin-top:12pt; margin-left:24pt; }
  			  
img       	{ border:none; margin:3pt; }

div1      	{ counter-reset:d2; counter-increment:d1; }
div2        { counter-reset:d3; counter-increment:d2; }
div3        { counter-reset:d4; counter-increment:d3; }
div4        { counter-reset:d5; counter-increment:d4; }