/*
     doc.css   CSS for Blog.

     Reminder...
     
     .class
     #id
*/

body
{
	margin:10px 10px 0px 10px;
	padding:0px;
	font: 12px/1.6em tahoma,verdana,sans-serif;
	background: #e8e8ff;
}

td, th
{
	font: 12px/1.6em tahoma,verdana,sans-serif;
}



#nav 
{
	position: absolute;
	left:10px;
	top:75px;
/*	right: 10px;*/
	backgr ound:#e8e8ff;
	border:0px solid #000;
	padding: 5px;
}

#nav ul 
{
/*     list-style: none;
     list-style-image: none;
     list-style-type: none;*/
     padding: 0;
     margin: 0;
}

#content 
{
     /*float: left;*/
	background:#fff;
	margin-left: 120px;
	margin-right: 0px;
	padding: 15px;
	border-left: 1px solid #000;
	border-right: 1px solid #000;
	border-bottom: 1px solid #000;
	border-color: #40408f;
	/*
	IE5x PC mis-implements the box model. Because of that we sometimes have
	to perform a little CSS trickery to get pixel-perfect display across browsers.
	The following bit of code was proposed by Tantek Celik, and it preys upon a CSS
	parsing bug in IE5x PC that will prematurly close a style rule when it runs
	into the string "\"}\"". After that string appears in a rule, then, we can override
	previously set attribute values and only browsers without the parse bug will
	recognize the new values. So any of the name-value pairs above this comment
	that we need to override for browsers with correct box-model implementations
	will be listed below.
	
	We use the voice-family property because it is likely to be used very infrequently,
	and where it is used it will be set on the body tag. So the second voice-family value 
	of "inherit" will override our bogus "\"}\"" value and allow the proper value to
	cascade down from the body tag.

	The style rule immediately following this rule offers another chance for CSS2
	aware browsers to pick up the values meant for correct box-model implementations.
	It uses a CSS2 selector that will be ignored by IE5x PC.
	
	Read more at http://www.glish.com/css/hacks.asp
	*/
	
	voice-family: "\"}\"";
	voice-family: inherit;
/*
	margin-left: 210px;
	margin-right:0px;
*/
}

html>body #content 
{
	m argin-left: 200px;
	ma rgin-right:0px;
}

#banner
{
	background:#f0e0ff;
	height:63px;
	border:1px solid #000;

/*	border-top:1px solid #000;
	border-right:1px solid #000;
	border-left:1px solid #000;
*/
	voice-family: "\"}\"";
	voice-family: inherit;
}

html>body #banner 
{
	/*height:53px;*/
}
	
p,pre 
{
	margin:0px 10px 10px 10px;
}
	
#banner h1 
{
	font-size:18px;
	padding:10px 10px 0px 10px;
	margin:0px;
}


h1,h2,h3,h4,h5,h6
{
	font: "verdana",sans-serif;
	text-shadow: #a0a0a0 0.2em 0.2em 0.6em;
	/*text-shadow: gray 0.2em 0.2em 0.6em;*/
}

th
{
     font-weight: bold;
}

#content h1
{
     font-size: 160%;
}

#content h2
{
     font-size: 140%;
}

#content table
{
     border-collapse: collapse;
}

#content.table, 
#content th, 
#content td
{
     border-collapse: collapse;
     text-align: left;
     vertical-align: top;
}


#content .pretty-table
{
     wid th: 100%; 
     background-color: #7099C5;
     color: #808080;
     font-size : 100%; 
     margin-right: 1.5em;
     margin-top: 1.5em;
     border-collaps e: collapse;
     border-width: 1px;
     border-style: solid;
     border-color: #7099C5;
}

#content .pretty-table caption 
{
     text-align: left; 
     color: black; 
     font-weight: bold;
}

#content .pretty-table th 
{
/*     text-align: left; */
     background: #eef; 
     color: black; 
     border: 1px; 
     padding-left: 1em;
     padding-right: 1em;
     padding-top: 7px;
     padding-bottom: 7px;
     border-width: 1px;
     border-style: solid;
     border-color: #7099C5;
}

#content .pretty-table td 
{
     background-color: white; 
     color: black; 
     padding: 5px;
     border-width: 1px;
     border-style: solid;
     border-color: #7099C5;
}





A:link, A:visited
     {
     text-decoration: none;
     }

A:active 
     {
     text-decoration: none;
     background: white;
     }


#footer
{
	margin-left: 120px;
	margin-right: auto;
	text-align: center;
}


#footer .copyright
{
    font-family: tohama, verdana;
    font-size: xx-small;
    color: #808080;
}

#footer .xsmall
{
    color: #808080;
    font-family: tahoma;
    font-size: xx-small;
}

#figure
{
     border: 1px silver solid;
     float: right;
     margin: 0.5em;
     padding: 0.5em;
     background: white;
}

#figure p
{
     text-align: center;
     font-size: smaller;
     text-indent: 0;
}


.for
{
     font-size: smaller;
     font-style: italic;
}

.code
{
     font-family: monospace;
     font-size: 90%;
     border: 1px dashed #7099C5;
     background: #e8e8e8;
}

.code-normal { color: #000000; }
.code-keyword { color: #0000ff; font-weight: bold; }
.code-comment { color: #808080; font-weight: bold; font-style: italic; }
.code-number { color: #800000; }
.code-string { color: #800000; }
.code-operator { color: #000000; }
.code-user1 { color: #008000; font-weight: bold; }
.code-user2 { color: #000000; font-weight: bold; }
.code-user3 { color: #008080; }
.code-preprocessor { color: #800080; }
.code-margin { color: #808080; }
.code-regexpdelimiter { color: #800080; font-weight: bold; }
.code-regularexpression { color: #800000; }
.code-regexpspecial { color: #0000ff; }
.code-function { color: #000000; }
.code-variable { color: #000000; }
.code-tagdelimiter { color: #008080; }
.code-tagkeyword { color: #0000ff; font-weight: bold; }
.code-tagattribute { color: #000080; font-weight: bold; }
.code-error { color: #ff0000; }
.code-highlight { color: #ff0000; font-weight: bold; }
.code-foundtext { color: #000080; }
.code-printheader { color: #000000; font-weight: bold; }
.code-printfooter { color: #000000; font-weight: bold; }


.todo
{
     font-style: italic;
     color: green;

     border: 1px; 
     padding-left: 1em;
     padding-right: 1em;
     padding-top: 7px;
     padding-bottom: 7px;
     border-style: solid;
     border-color: #7099C5;
}
