/*
 * Based on code by
 *
 * (C) 2001 Zvezdan Petkovic <z.petkovic@computer.org>
 */

/* general elements style */

body {
	margin-top: 0;
	margin-left: 0;
	color: rgb(0,0,0);
	background-color: transparent;
}

:link img, :visited img {
	background: transparent;
	color: #ffffff;
	border: 0;
}

:link {
	text-decoration: none;
	color: rgb(255,0,0);
	background: transparent;
}

:visited {
	text-decoration: none;
	color: rgb(155,0,0);
	background: transparent;
}

:link:hover, :visited:hover, :link:focus, :visited:focus {
	color: #cc9977;
	background: transparent;
}
 
h2 {
	display: table;
	margin-right: auto;
	color: #000000; 
	background-color: #ffc869;
	font-weight: bold;
	border: solid 2px rgb(255,100,100);
	padding: 3px 3px 3px 3px;
}

dd {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

li {
	padding-top: 4px;
	padding-bottom: 4px;
}
 
q {
	font-style: italic;
}

/* page components */

div.topbar {
	position: fixed;
	color: rgb(0,0,0);
	background: #ffee9b;
	width: 100%;
	margin-top: 0;
	padding-top: 0;
	height: 80px;
	border-bottom: medium solid;
}

div.logo {
	left: 0;
	top: 0;
}

div.note {
	position: fixed;
	right: 5px;
	top: 5px;
}

div.pinmenu {
	position: fixed;
	overflow: auto;
	color: rgb(0,0,0);
	background: #ffee9b;
	margin-top: 80px;
	margin-left: 0;
	border-right: medium solid;
	height: 100%;
	width: 9.5em;
	min-width: 9.5em;
}

div.badges {
	position: fixed;
	bottom: 0%;
	padding-left: 5px;
	left: 0;
}

div.page {
	margin-left: 9.5em;
	padding-left: 1em;
	padding-top: 80px;
}

/* various others */
 
p.fulloutputlink {
	text-align: right;
}

div.redrule {
	padding-top: 10px; 
	padding-bottom: 0px;
	margin-bottom: 2px; 
	border-bottom: solid 2px rgb(155, 0, 0);
}
 
div.quote {
	float: left;
	width: 60%;
}

div.timestamp {
	right: 1em;
	float: right;
	width: 8em;
	text-align: right;
}

span.newsdate {
	font-size: 120%;
}

span.newshead {
	font-size: 120%;
	padding-left: 1em;
}

div.newsbody {
	margin-left: 3em;
}

div.computeroutput {
	padding-left: 1em;
	margin-top: 10px;
        margin-bottom: 10px;
	background-color: #dddddd;
	clear: both;
	color: #000000;
	font-family: courier, monospace;
	white-space: pre;
}

tr.tablehead {
	font-weight: bold;
	font-size: 110%;
}

table.eventtable {
	border: 2px red solid;
	border-collapse: collapse;
	font-family: monospace;
}

table.eventtable td {
	border: 1px red solid;
	padding: 3px;
}
 
table.eventtable tr {
	vertical-align: top;
}