/* $Id: sitestyle.css,v 1.3 2004/10/15 13:18:39 marga Exp $ */
/*
This style is a modified version of the one made by Eric S. Raymond,
available at: http://www.catb.org/~esr/sitestyle.css
*/
body {
	margin:0;
	padding:0;
	font-family: sans-serif;
	color:#000000;
	background-color:white;
	font-size: small;
}

p {
	margin:0 0 1em 0;
	padding-left:1em;
}

#Content>p {text-indent:0em; margin:0;}
#Content>p+p {text-indent:0em; margin-top: 1ex;}

h1 {
	font-size: x-large;
	margin-bottom: 0.75ex;
    text-align: center;
}
h2 {
	font-size: large;
	margin-bottom: 0.5ex;
    color: #2b8fc5;
}

h3 {
	font-size: medium;
	margin-bottom: 0.5ex;
}

a {
	text-decoration:none;
	color: #4322FF;
	}
a:hover {
	text-decoration:underline;
	color: #c00;
}

/* For reference links in the middle of texts */
.help {
	border-bottom: 1px
	dashed #333;
	cursor: help;
}
			
#Header {
	font-weight:600;
	font-size: x-large;	/* should be same as an h1 header */
	margin:20px 0 10px 0;
	padding:0.3ex 0 1.3ex 20px;
	border-style:solid;
	border-color:black;
	border-width:1px 0;
	background-color:#eee;

/* Here is the ugly brilliant hack that protects IE5/Win from its own
stupidity.  Thanks to Tantek Celik for the hack and to Eric Costello
for publicizing it.  IE5/Win incorrectly parses the "\"}"" value,
prematurely closing the style declaration. The incorrect IE5/Win value
is above, while the correct value is below. See
http://glish.com/css/hacks.asp for details. */

	voice-family: "\"}\"";
	voice-family:inherit;
	height:14px;
	}
/* I've heard this called the "be nice to Opera 5" rule. Basically, it
feeds correct length values to user agents that exhibit the parsing
error exploited above yet get the CSS box model right and understand
the CSS2 parent-child selector. ALWAYS include a "be nice to Opera 5"
rule every time you use the Tantek Celik hack (above). */
body>#Header {height:14px;}

#Content {
	/* Left margin is menu width + 3em
	 */
	margin:0 50px 50px 11em;
    padding-left:10px;
}

/* Project Description */
.ProjectDesc {
	margin-left: 10px;
}

td {
	font-size:x-small;
}

table {
	width:500px;
    border-collapse: collapse;
    margin-left:30px;
    margin-top:20px;
    margin-bottom:20px;
    border: 1px dashed #999;
}

#Menu {
	position:absolute;
	top:76px;
	left:15px;
	width:8em;
	padding:0.5em;
	background-color:#eee;
	border:1px dashed #999;
/* Again, the ugly brilliant hack. */
	voice-family: "\"}\"";
	voice-family:inherit;
	width:8em;
	}

#rss {
	width:85%;
	padding:0;
	background-color:#f0ffff;
	border:1px dashed #999;
/* Again, the ugly brilliant hack. */
	voice-family: "\"}\"";
	voice-family:inherit;
	}
.rss_title {
	background-color: #d0ddff;
}

.rss_date {
	background-color: #d0ddff;
}

#Menu2 {
	position:absolute;
	top:210px;
	left:20px;
	width:8em;
	padding:0.5em;
	background-color:#eee;
	border:1px dashed #999;
/* Again, the ugly brilliant hack. */
	voice-family: "\"}\"";
	voice-family:inherit;
	width:8em;
	}
/* Again, "be nice to Opera 5". */
body>#Menu {width:8em;}

/* For convenience */
.centered {
	text-align: center;
	margin-left: auto;
	margin-right: auto;
	}

.notebox {
	background-color:#eee;
	border:1px dashed #999;
	margin: 15px;
	font-size:small;
	text-indent: 0;
}


.code {
	color: #000;
	font-weight: bold;
	background:#eee;
	width:500px;
	margin-left:1em;
	padding-left:10px;
	padding-top:5px;
	padding-bottom:5px;
	padding-right:10px;
	border:1px dashed #000;
}

.phrase {
	font-size:x-small;
}