/*-------------------------------------------------------------------
   menu and body  (= css magic ;-)
-------------------------------------------------------------------*/
body		{ padding: 0pt
			; margin: 0pt 
			; color: black
			; background-color: white
			; font-family: sans-serif
			}


.body		{ margin: 0em 12% 1% 12% 
			; padding: 1em 20pt 1em 20pt
			; border: solid 1px #CCC
			; border-top: none
			; background: #F8F8F8	
			} 


.header		{ background: #CCC
			; margin-right: 12%
			}


.comment	{ color: green }

.toc ul		{ margin-top: 0pt 
			; margin-bottom: 0pt
			}
.toc p      { margin-bottom: 0pt }

/*-------------------------------------------------------------------
   General style
-------------------------------------------------------------------*/
/*
h1,h2,h3,h4 { color: black }
a:link      { color: #494a82 }
a:visited   { color: #8081b3 }
*/

h1			{ font: 175%
			; text-align: center
			} 
h2			{ font: 150% 
			; margin-top: 4ex
			; margin-left: -20pt
			; margin-right: -20pt
			; border-bottom: solid 1px #CCC
			}

.h2			{ border-bottom: solid 1px
			}


h3			{ font: 130% }
h4			{ font: 110% }


ul			{ padding-left: 1.5em 
			; margin-left: 0pt 
			}

.options,
pre			{ background: #eeeeee
		    ; border: 1px solid #888888
			; color: black
			; padding: 1ex
			}	

code		{ color: black } 
strong		{ color: black }
			
td			{ vertical-align: top }
img			{ margin: 2ex }

#author		{ font-weight: normal
			}

.date		{ text-align: right
            ; font-size: smaller
			; border-top: 1px solid
			; margin-top: 4ex
			}

.options    { width: 100% }

/*-------------------------------------------------------------------
   IE bug fixes
   see <http://www.positioniseverything.net/articles/hollyhack.html>
-------------------------------------------------------------------*/

/* fix for IE bug: width extends beyond the container: 76 = 100 - 12 - 12 \*/
* html .options { width: 76% }
/* end of IE fix */