/* Mmm.... CSS */

td > h1:first-child, th > h1:first-child, 
td > ul:first-child, th > ul:first-child,
td > ol:first-child, th > ol:first-child,
td > p:first-child,  th > p:first-child,
.dummy {
	margin-top: 0;
}

p.flat {
	margin: 0;
}

body, html {
	margin: 0;
	padding: 0;
	font-family: "Verdana", "sans-serif";
}

/*code, pre, tt {
	font: 9pt "Consolas", "monospace";
}*/

.site-warning {
	border: 2px solid red;
	background: white;
	color: black;
}

.sig {
	border-top: 2px solid #888;
	/*font-size: 9pt;*/
	font-size: 75%;
	text-align: center;
}

.preview {
	border: 0.25em solid black;
	padding: 0em 0.25em;
}

/* Menu styles */
td.menu, td.menu a {
	background: #004488;
	color: #FFCC33;
}
td.menu {
	width: 13em;
}

ul.menu-left {
	margin: 0;
	padding-left: 0;
	list-style: none;
}

ul.menu-left .indent {
	margin-left: 1em;
}

/* Netscape 4 wraps things onto a new line if we do this, so hide it. */
li > img.menu-expander,
span > img.menu-expander {
	margin-left: 0.1em;
	margin-right: 0.2em;
}

li.menu-selected, li.menu-selected a {
	background: #FFCC33;
	color: #004488;
}

li.menu-current:after {
	content: url(/common/images/menu_here.png);
}

li.menu-hidden {
	display: none;
}

/* Netscap 4 goes bananas if you set the margin on an <hr> in a table, so I
   need to keep it hidden.
 */
.menu-sep > hr.menu-sep {
	margin: 0.2em 0 0.1em;
	border: none;
	border-top: 1px solid #FFCC33;
}

.expando-hidden > .expando-child {
	display: none;
}

a[href] > img {
	border: none;
}