body {
	margin: 0;
	padding: 0;
	font-family: Verdana;
}

div.header {
	margin-top: 0;
	margin-bottom: 10px;
	padding-left: 20px;
	padding-right: 20px;
	background: #EFEFEF;
	border-bottom: 2px solid #999999;
}

h1, h2, h3, h4 {
	margin: 0;
	padding: 6px;
}

h3 {
	background-color: #F5F5F5;
	/*display: inline;*/
	/*border: 1px solid #999999;*/
}

a:hover {
	background-color: #EEEEFF;
}

div.menu {
	clear: right;
	float: right;
	background: #EFEFEF;
	border: 2px solid #999999;
	padding: 6px 20px;
	margin-top: 6px;
	margin-right: 6px;
	margin-bottom: 20px;
	margin-left: 20px;
	width: 200px;
}

hr.menuhr {
	margin: 20px 0px;
	padding: 0;
	height: 3px;
	color: #999999;
	background-color: #999999;
}

a.menulink {
	display: block;
	margin-top: 7px;
	margin-bottom: 7px;
}

a.menulink:hover {
	background-color: #F5F5F5;
}

div.content {
	padding: 20px;
}

ul {
	margin-top: 0px;
	margin-left: 0px;
	padding-left: 30px;
}

li {
	margin-top: 5px;
	margin-left: 0px;
	padding-left: 0px;
}

div.spacesep {
	width: 1px;
	height: 20px;
}

span.smalltext {
	font-size: smaller;
}

/* code highlight shit */
div.code {
	border-width: 3px 3px 3px 3px;
	border-spacing: 2px;
	border-style: solid solid solid solid;
	border-color: #AAAAAA;
	margin-top: 10px;
	margin-bottom: 10px;
	margin-right: 10px;
	/*margin-left: 20px;*/
	direction: ltr;
	font-family: monospace;
	background-color: #FFFFFF;
	padding: 6px;
	width: 600px;
}

.keyword {
    color: mediumblue;
    }

.comment {
    color: green;
    }

.literal {
    color: purple;
    }

.sch_literal {
    color: green;
    }

.quotenum {
    color: GhostWhite;
    border-right: 1px solid black;
    background-color: gray;
    }
.quotenum a {
    color: GhostWhite;
    text-decoration: none;
    }
.quotenum a:visited {
    color: GhostWhite;
    text-decoration: none;
    }

.kicked {
    color: darkred;
    margin: 4px;
    }

.mode {
    color: darkred;
    margin: 4px;
    }

.joined {
    color: darkblue;
    margin: 4px;
    }

.listitem {
    border: 2px outset GhostWhite;
    }