html, body {
	margin: 0;
	padding: 0;
	background-color: #fff;
}

body {
	font: 95% georgia,serif;
	text-align: center;
	line-height: 1.25;
	color: #181818;
}

div#header {
	position: relative;
	background-color: #fff;
	margin-bottom: 12px;
	color: #3f3f3f;
}

div#header h1 {
	text-align: center;
	height: 58px;
	line-height: 58px;
	margin:0;
	padding-top: 2px;
	padding-bottom: 2px;
	margin-left: -87px;
	font-family: "Times New Roman", serif;
	font-variant: small-caps;
	font-size: 46px;
	letter-spacing: 4px;
	font-weight: 900;
}

div#header h5 {
	letter-spacing: 9px;
	font-family: "Times New Roman", serif;
	text-align: center;
	margin-left: -82px;
	margin-top: -15px;
	font-variant: small-caps;
	font-weight: bold;
	font-size: 13px;
}
div#header img {
	border: 0;
}

div#container {
	text-align: left;
	background-color: #fff;
	width: 1004px;
	margin: 0 auto;
}

div#content p {
	line-height: 1.4;
}

div#navigation {
	background-color: #fff;
	font-family: verdana,arial,helvetica,sans-serif;
}

div#extra {
	background-color: #fff;
}

div#footer {
	clear: left;
	background: #fff;
	color: #222;
	margin: 0;
	padding: 0;
}

div#footer p {
	margin: 0;
	padding: 2px 4px;
	font-size: 12px;
	text-align: right;
}

div#wrapper {
	float: left;
	width: 100%;
}

div#content {
	margin: 0 250px 0px 156px;
}

div#navigation {
	float: left;
	width: 156px;
	margin-left: -1004px;
}

div#extra {
	float: left;
	width: 250px;
	margin-left: -250px;
}

div#extra div#about {
	margin-right: 4px;
	margin-left: 4px;
}

div#extra div#about p {
	margin-top: 7px;
	margin-right: 4px;
	margin-left: 4px;
	margin-bottom: 4px;
	font-size: 13px;
	line-height: 1.3;
}

div#extra div#about img {
	margin-right: 4px;
	margin-left: 4px;
	border-width: 1px;
	border-color: #000;
	border-style: solid;
}

div#extra ul, div#navigation ul {
	list-style-type: none;
	margin-top: 0;
	margin-left: 10px;
	padding-left: 0;
}

div#extra ul {
	font-family: Verdana,Arial,Helvetica;
}
div#container h2 {
	font-family: verdana, arial, sans-serif;
	font-size: 15px;
	color: #000;
	background-color: #fff;
	text-align: left;
	margin: 2px 2px 2px 2px;
}

div#container p {
	margin-top: 0;
}

div#account label, div#change-password label, div#contact label, div#register label, div#signin label {
	display: block;
	font-family: verdana, arial, sans-serif;
	font-size: 13px;
	font-weight: bold;
}

div#account input, div#change_password input, div#contact input, div#register input, div#signin input {
	display: block;
	margin-top: 4px;
}

div#account, div#change_password, div#contact, div#register, div#signin {
	margin-left: 8px;
}

div#flash { 
	font-size: 13px;
	font-family: verdana,arial,sans-serif;
	background-color: #ffc;
	border-width: 1px;
	border-style: solid;
	padding: 8px 8px 8px 8px;
	margin: 8px 8px 8px 8px;
}

div#contact textarea {
	display: block;
}
	
div#flash.alert {
	color: red;
}

div#flash.notice {
	color: green;
}
	
div#contact_me {
	text-align: center;
	margin-bottom: 19px;
}

div.article {
	margin-left: 22px;
	margin-right: 22px;
	margin-top: 0;
}

div.article h3 {
	font-family: verdana,arial,sans-serif;
	margin-bottom: 0;
	margin-top: 0;
	margin-left: 0;
}

div.article h3 a {
	text-decoration: none;
	color: #000;
}

div.article p.article-body {
	margin-top: 0;
}

div.article p.article-footer {
	font-family: georgia, serif;
	font-size: 12px;
	text-align: right;
}

div#content form label {
	display: block;
	font-family: verdana,arial,sans-serif;
	font-weight: bold;
}

div#content form textarea {
	width: 580px;
	display: block;
}

div#content input {
	display: block;
}

div#extra h2 {
	height: 19px;
}

.pagination {
   	padding: 3px;
   	margin: 3px;
   	font-family: verdana,arial,sans-serif;
   	font-size: 11px;
}

.pagination a {
	padding: 2px 5px 2px 5px;
   	margin: 2px;
   	border: 1px solid #511;
   	text-decoration: none;
   	color: #511;
}

.pagination a:hover, .pagination a:active {
   	border: 1px solid #622;
   	color: #000;
}

.pagination span.current {
   	padding: 2px 5px 2px 5px;
   	margin: 2px;
   	border: 1px solid #511;
   	font-weight: bold;
   	background-color: #511;
   	color: #FFF;
}

.pagination span.disabled {
   	padding: 2px 5px 2px 5px;
   	margin: 2px;
   	border: 1px solid #eee;
   	color: #ddd;
}

div.comment {
	padding-left: 12px;
	padding-right: 12px;
	font-size: 14px;
	border-width: 1px;
	border-color: #bbb4b0;
	border-style: solid;
}

div.comment p.poster-info {
	font-size: 12px;
	text-align: right;
}

pre.blackboard .LatexSupport {
   color: #FBDE2D;
}
pre.blackboard .OcamlInfixOperator {
   color: #8DA6CE;
}
pre.blackboard .MetaFunctionCallPy {
   color: #BECDE6;
}
pre.blackboard .Superclass {
   color: #FF6400;
   font-style: italic;
}
pre.blackboard .Constant {
   color: #D8FA3C;
}
pre.blackboard {
   background-color: #0C1021;
   color: #F8F8F8;
   overflow: auto;
   width:98%;
}
pre.blackboard .OcamlFPConstant {
   text-decoration: underline;
}
pre.blackboard .OcamlFPInfixOperator {
   text-decoration: underline;
}
pre.blackboard .Support {
   color: #8DA6CE;
}
pre.blackboard .OcamlOperator {
   color: #F8F8F8;
}
pre.blackboard .Storage {
   color: #FBDE2D;
}
pre.blackboard .line-numbers {
   background-color: #253B76;
   color: #FFFFFF;
}
pre.blackboard .StringInterpolation {
   color: #FF6400;
}
pre.blackboard .InvalidIllegal {
   background-color: #9D1E15;
   color: #F8F8F8;
}
pre.blackboard .PlistUnquotedString {
   color: #FFFFFF;
}
pre.blackboard .OcamlVariant {
   color: #D5E0F3;
}
pre.blackboard .MetaTag {
   color: #7F90AA;
}
pre.blackboard .LatexEnvironment {
   background-color: #F7F7F8;
}
pre.blackboard .OcamlFPPrefixOperator {
   text-decoration: underline;
}
pre.blackboard .OcamlPrefixOperator {
   color: #8DA6CE;
}
pre.blackboard .EntityNameSection {
   color: #FFFFFF;
}
pre.blackboard .String {
   color: #61CE3C;
}
pre.blackboard .Keyword {
   color: #FBDE2D;
}
pre.blackboard .LatexEnvironmentNested {
   background-color: #7691F3;
}
pre.blackboard .InvalidDeprecated {
   color: #AB2A1D;
   font-style: italic;
}
pre.blackboard .Variable {
}
pre.blackboard .Entity {
   color: #FF6400;
}
pre.blackboard .Comment {
   color: #AEAEAE;
}