/*
 * std.css: basic css for www.beasts.org
 *
 * as ever, css is a barely working hack. netscape's "implementation" is
 * hardly worthy of the name, and although ie's does work (mainly) that's
 * not exactly a giant surprise given that (a) microsoft did make css up
 * themselves; (b) they've had three [mutually incompatible, i'm sure]
 * versions to fix it in.
 *
 * copyright (c) chris lightfoot 2000
 *
 * $id:$
 *
 * $log:$
 *
 */

/* whole page structure */

body {
	color: black;
	background-color: white;
	margin-left: 30pt;
	margin-right: 30pt;
	margin-top: 100pt;
	background-image: url(logo.png);
	background-repeat: no-repeat;
        background-position: 30pt 5pt;
}

/* make ie happy */
/*. {
	font-family:"times new roman", serif;
}
*/

h1 {
	text-align: left;
	font-family: sans-serif;
	font-weight: bold;
}

h2 {
	text-align: left;
	font-family: sans-serif;
	font-weight: bold;
	margin-top: 10pt;
}

h3 {
	text-align: left;
	font-family: sans-serif;
	font-weight: bold;
	margin-top: 10pt;
}

h4 {
	text-align: left;
	font-family: sans-serif;
	font-weight: normal;
}

/* h5, h6 not defined */


/* repeat formatting for common containers, since the cascading aspect of css
 * doesn't really work.
 */
. {
	font-family:"times new roman", serif;
}

p {
	font-family:"times new roman", serif;
	margin-left: 14pt;
	font-weight: normal;
/*	text-align: justify;*/
}

tt {
	font-family: monospace;
	font-size: medium;
}

pre {
	margin-left: 14pt;
}

li {
	font-family:"times new roman", serif;
}

td {
	font-family:"times new roman", serif;
/*	padding-left: 6pt;*/ /* work around crazy netscape bug */
	padding-right: 6pt;
}

ul {
	font-family:"times new roman", serif;
	margin-left: 14pt;
}

dl {
	font-family:"times new roman", serif;
	margin-left: 14pt;
}

dt {
/* this margin-{top,bottom} thing is completely broken in ns/linux.  go on, act surprised. */
	margin-top: 6pt;
/* this next line doesn't work on netscape.  you may have to resort to astonishment here */
	font-weight: bold;
}


input {
	font-family: sans-serif;
}

select {
	font-family: sans-serif;
}

option {
	font-family: sans-serif;
}

hr {
	margin-left: -30pt;
}

/* links; the various :hover things are ie only for the moment. */
a {
	text-decoration: none;
	font-weight: bold;
	background-color: white;
	color: #0000c0;
}

a:hover {
	text-decoration: underline;
	font-weight: bold;
	background-color: white;
	color: #0000ff;
}

a:visited {
	font-weight: bold;
	background-color: white;
	color: #00007f;
}

a:visited:hover {
	text-decoration: underline;
	font-weight: bold;
	background-color: white;
	color: #0000ff;
}

/* some random stuff for the email admin scripts. this is a nightmare, because
 * netscape (in its linux incarnation at least) just doesn't obey the padding:
 * directives correctly. in particular, if you try to specify a padding-top,
 * the entire table gets randomly displaced down the page for no earthly
 * reason.
 */

table.aliases {
	width: 80%;
}
/*
table.navbar {
}
*/
.navbar {
	font-family:"times new roman", serif;
	text-align: left;
}

td.label {
	font-weight: bold;
	text-align: center;
	padding-left: 6pt;
	padding-right: 6pt;
	color: black;
	background: silver;
}

p.warning {
	color: red;
	background-color: white;
}

/* stuff for nice looking error documents */
div.errorquote {
	margin-left: 10pt;
}

pre.errorquote {
	font-family: monospace;
	padding: 16pt;
}

p.smallprint {
	font-family: sans-serif;
	text-align: right;
}

p.samplecode {
	font-family: monospace;
	font-size: medium;
	margin-left: 28pt;
	text-align: left;
}

.email {
	font-family: monospace;
/* css + font sizes + netscape = pain.  arrgh. */
	font-size: medium; 
}