html,body{margin:0;padding:0}

body{
  font: 90%/1.3 TrebuchetMS,Arial,sans-serif;
  text-align: left;
  background: #fff;
  padding-bottom:20px
}
    
a { color: #0066B3; background: inherit; text-decoration: none;}

h1 {
  font: bold 2.1em Arial, Arial, Sans-Serif; 
  color: #036DA7;
  margin: 12px 0px 12px 0px;
}

h2 {
  font: bold 1.5em Arial, Arial, Sans-Serif; padding: 0; margin: 0px 0px 12px 0px;
}

h3 { 
  font: bold 1.1em Arial, Arial, Sans-Serif; padding: 0; margin: 12px 0px 12px 0px;
}

p {
  margin: 12px 0px 12px 0px;
}

div#header {
  width:100%;
  overflow:hidden;
  background: #BBD9EE;
}

div#header h1, div#menu {
  width:770px;
  margin:0 auto;
  text-align:left;
}

div#header h1 {
  padding: 30px 0 0px;
  color: #fff
}

div#header h1 a, div#header h1 a:hover { color: #fff }

ul#nav,ul#nav li{list-style-type:none;margin:0;padding:0}
ul#nav {float:right;font-size: 75%}
ul#nav li{float:left;margin-left: 3px;text-align: center}
ul#nav a{float:left;width: 95px;padding: 5px 0;background: #E7F1F8;text-decoration:none;color: #666; border-top : 1px solid #fff; border-left : 1px solid #fff; border-right : 1px solid #fff;}
ul#nav a:hover{background: #fff;color: #000}
ul#nav li.activelink a,ul#nav li.activelink a:hover{background: #FFF;color: #003}

.source_code_box {
  font-family: courier, monospaced;
  font-size: 105%;
  margin: 12px 100px 12px 100px;
}

.texsource {
  border: 2pt solid #000;
  background-color: #FFF;
  padding: 5px;
  margin: 12px 100px 12px 100px;
  font-family: courier, monospaced;
}

code {
  font-family: courier, monospaced;
}

.keyword { color: #00F; }
.comment { color: #777; }
.math { color: #070; }
.amend { color: #050; }

.texsample {
  border: 2pt solid #007;
  background-color: #FFF;
  padding: 5px;
  margin: 12px 100px 12px 100px;
  font-family: "times new roman", serif;
  font-size: 110%;
}

.gbox {
  border: 1pt solid #000;
  background-color: #FFF;
  padding: 0px;
  padding-top: 5px;
  margin: 12px 65px 12px 65px;
  text-align: center;
}

.gbox img {
  vertical-align: middle;
}

#right ul { padding-left: 20pt }

.box ul {  padding: 0; margin: 0;}
.box li { list-style-type: none;}
.box ul ul li { list-style-type: square; margin-left: 22px;}

#left {
	float: left;
	width: 20%;
	margin: 0 0 10px 0;
}

#left .box {
	padding: 1em;
	margin: 0 0 1em 0;
	background : #FFF6BF;
}

#left h2 {
    font: bold 1em Arial, Arial, Sans-Serif;
    padding: 0;
    margin: 0;
    margin-bottom: 5px;
    text-decoration: underline;
}

#right {
	float: right;
	width: 75%;
	padding: 1em;
	margin-bottom: 0.5em;
	background: #eee;
	text-align: left;
}


#content {
font: 95%/1.3 TrebuchetMS,Arial,sans-serif;
	margin: 0 auto;
    padding: 15px;
	background: #fff;
	width: 800px;
	
}

#disqus_thread {
  margin-top: 50px;
}

#foot {
  font-size: 80%;
  text-align: center;
}

.clear {
  clear: both;
}

p.button {
  padding-bottom: 28px;
  padding-top: 6px;
  margin-left: 36px;
}

p.button a, p.button a:hover  {
  text-decoration: none;
  float:left;
  color: #576d07;
  background: url(media/green.png) no-repeat top right;
}

p.button a span, p.button a:hover span {
  margin: 0 10px 0 -10px;
  padding: 3px 8px 5px 18px;
  position: relative; /*To fix IE6 problem (not displaying)*/
  float:left;
  background: url(media/green.png) no-repeat top left;
}