/*
 * darkblue: LaTeX: 0.00,0.00,0.50, CSS: #000080
 * gold:     LaTeX: 1.00,0.86,0.00, CSS: #ffdb00
 * beige:    LaTeX: 0.97,0.96,0.94, CSS: #f7f5f0
 * skyblue:  LaTeX: 0.53,0.81,0.98, CSS: #87cffa
 * light bluegrey used here:        CSS: #d2daf5
 */

body {
	line-height: 1.2em;
	font-size: medium;
	font-family: sans-serif;
	margin: 0 1ex 3ex 1ex; /* top right bottom left */
	color: #ffdb00; background-color: #000080;
}

a { text-decoration: none; }
a:link { color: #d2daf5; background-color: transparent; }
a:visited { color: #f7f5f0; background-color: transparent; }
a:active { color: red; background-color: #d2daf5; }
a:hover { color: #000080; background-color: #d2daf5; }

img { border-width: 0; }

*.hidden { display: none !important; }

div#menubox {
	float: right;
	width: auto;
	min-width: 190px;
	min-height: 150px;
	background-image: url("http://weilbacher.org/wo-bluegrey.png");
	background-repeat: no-repeat;
	background-position: top center;
	margin: 0 0 20px 1ex;
	text-indent: 0; text-align: left; line-height: 1.2em;
	padding: 55px 5px 0 5px; /* top right bottom left */
	border: 1px solid #888888;
	color: #000080; background-color: #d2daf5;
} 
#menubox a:link { color: #0000ff; background-color: transparent; }
#menubox a:visited { color: #000080; background-color: transparent; }
#menubox a:active { color: red; background-color: #0000ff; }
#menubox a:hover { color: #d2daf5; background-color: #0000ff; }
div#empty { width: 183px; }
*.first {
	font-size: large;
	list-style-type: none;
}
*.second {
	font-size: medium; /*text-indent: 4ex;*/
	list-style-type: none;
}
#firstact {
	font-size: large; font-weight: bold;
	list-style-type: none;
	color: red; background-color: transparent;
}
#secondact {
	font-size: medium; font-weight: bold; /*text-indent: 4ex;*/
	list-style-type: none;
	color: red; background-color: transparent;
}
*.switchsheet { width: 183px; text-align: right; font-size: small; }

h1 {
	font-size: x-large; font-weight: bold;
	line-height: 1.75em;
	text-align: center;
	color: red; background-color: #d2daf5;
	border: 1px solid #888888; 
}
h2 {
	margin: 2em 15% 0 15%;
	font-size: large; font-weight: bold; 
	line-height: 2em;
	text-align: center;
	color: red; background-color: #d2daf5;
	border: 1px solid #888888; 
}
p.centerlink { text-align: center; font-size: 120%; }

ul {
	padding: 0 0 1em 2em;
	list-style-type: square;
	list-style-position: outside
}
ul > ul { padding: 0; margin: 0; }
#menubox > ul { padding: 0; }
*.first > ul { padding: 0 0 0 2ex; }
#firstact > ul { padding: 0 0 0 2ex; }

/* for all pages */
div#footer {
	clear: both;
	text-align: right;
	margin: 5pt 0pt 0pt 0pt; /* top right bottom left */
}
p.date  { 
	vertical-align: bottom; 
	font-size: x-small;
	color: #ffdb00; background-color: #000080;
}

/* for the title page news */
div#newsbox {
	clear: both; float: none;
	border: 1px solid #888888;
	font-size: small;
	text-indent: 0; text-align: left; line-height: 1em;
	padding: 0px 10px 3px 10px; /* top right bottom left */
	margin: 0 8%;
	color: black; background-color: #f7f5f0;
}
p.newstitle {
	margin-bottom: 0.5em;
	font-size: 120%; font-weight: bold;
	text-align: center;
}
p.news { margin-bottom: 0.5em; margin-top: 0; text-align: left; }
span.newsdate { font-style: italic; font-weight: bold; }
#newsbox a:link { color: #0000ff; background-color: transparent; }
#newsbox a:visited { color: #000080; background-color: transparent; }
#newsbox a:active { color: red; background-color: #0000ff; }
#newsbox a:hover { color: #d2daf5; background-color: #0000ff; }

/* for contact pages */
.email {
	text-align: center;
	font-family: monospace; font-size: 120%;
	color: #f7f5f0; background-color: transparent;
}

/* for some pages with images */
.imagefloatright {
	float: left;
	margin: 0 20px 0 0;
	vertical-align: middle;
}
.imagefloatrightbg {
	float: left; 
	margin: 5px 5px 5px 0;
	color: white; background-color: #000080;
}

/* especially for the Mozilla page */
.new {
	font-size: 120%; font-weight: bold;
}
.filename {
	font-family: monospace; font-size: 110%;
	color: #ffdb00; background-color: transparent;
}
.code {
	font-family: monospace;
	white-space: pre;
	margin: 0 20px 1em 20px;
	color: #ffdb00; background-color: transparent;
}
.codesnip {
	font-family: monospace;
	color: #ffdb00; background-color: transparent;
}
.codecomment	{ color: #ee5555; background-color: transparent; }
.codeframe {
	width: 80%;
	height: 20em;
	margin: 0 10% 0 10%;
}
.feature	{ color: red; background-color: transparent; }

/* for the ships page(s) */
.boatname {
	font-size: 110%; font-weight: bold;
	color: red; background-color: transparent;
}