@import 'common.css';
html
{
	background-color: #999;
	color: #000;
	font-family: arial, sans-serif;
}

/* general definitions */
h2, h3, h4
{
	background-color: #446;
	color: #fff;
	padding: 0.1em 0.5em;
}
h2
{
	font-size: 1.5em;
}
p.box
{
	background-color: #777;
	margin-top: -1.4em;
	padding: 0.5em;
	font-size: 90%;
}
textarea
{
	font-family: arial, sans-serif;
	font-size: 0.8em;
	margin-bottom: 0.5em;
}
input[type="text"]
{
	font-family: arial, sans-serif;
	font-size: 0.8em;
}
a
{
	color: #00f;
	text-decoration: none;
	font-weight: bold;
}
a:hover
{
	color: #33f;
	text-decoration: underline;
}
a:active
{
	color: #f00;
}
hr
{
	width: 90%;
}
abbrev
{
	font-weight: bold;
	cursor: help;
}
img.left-image
{
	margin: 0.1em 0.5em;
}
div.code
{
	margin: 0.5em;
}
.vim-todo
{
	color: #000;
	background-color: #ff0;
}

/* title.php */
div#title
{
	position: fixed;
	top: 0em;
	left: 0em;
	width: 100%;
	margin: 0em;
	background-color: #444;
	font-family: "courier new", courier, monospace;
}
#machinery-logo
{
	font-size: 1.6em;
	margin-top: 0.1em;
	margin-left: 0.5em;
}
h1
{
	margin: 0em;
}
.links
{
	position: relative;
	top: -0.3em;
	margin-left: 2em;
	font-weight: bold;
}
div#title a { color: #000; }
div#title a:hover { color: #ccc; text-decoration: none; }
div#title a:active { color: #f00; }
body
{
	margin-top: 6em;
}

/* footer.php */
p#footer
{
	clear: both;
	text-align: center;
	font-size: 60%;
	margin-bottom: 1em;
}
p#footer img
{
	border: none;
	width: 88px;
	height: 31px;
}
.style-list > :before
{
	content: " |";
}
.style-list > :first-child:before
{
	content: "";
}

/* todo.php */
ol.todo > li
{
	font-weight: bold;
}
.detail
{
	display: block;
	margin: 0em 2em 0.8em 2em;
	font-weight: normal;
	font-size: 80%;
}
.todo-tremulous
{
	color: #400;
}
.todo-website
{
	color: #040;
}
.todo-coding
{
	color: #044;
}
.todo-other
{
	color: #004;
}

/* done.php */
h3.content-label
{
	position: relative;
	top: 0.5em;
	margin-left: 1em;
}
ol.contents li
{
	font-weight: normal;
	margin-left: 2em;
	font-size: 90%;
}
ol.contents ol
{
	margin-bottom: 0.2em;
}
ul.list-lite
{
	font-weight: normal;
}
div.ingame
{
	margin: 0.5em 2em;
}
div.ingame > span
{
	padding: 0em 0.5em;
	background-color: #000;
	color: #fff;
	font-size: 80%;
	font-family: "courier new", courier, monospace;
	font-weight: bold;
}
span.admin
{
	color: #ff0;
}
span.arg-opt
{
	color: #0ff;
}
div.info-example
{
	border: 1px solid #333;
	margin: 0em 2em 0.8em 4em;
	padding: 0.1em 0.5em;
	background-color: #888;
	font-size: 70%;
	font-family: "courier new", courier, monospace;
}
span.info-cfg
{
	color: #060;
}
span.info-file
{
	color: #00a;
}
span.info-output
{
	color: #600;
}

/* comments.php */
div.note
{
	text-align: center;
	font-size: 60%;
	font-style: italic;
}