* {
  margin: 0;
  padding: 0;
  font-family: Georgia, Palatino, Times, 'Times New Roman', sans-serif;
}

h1 {
  margin-left: -15px;
}

h2 {
  margin-left: -10px;
}

h3 {
  margin-left: -5px;
}

body {
  background: #fff;
  margin: 1em;
}

a {
  text-decoration: none;
}

a:link, a:visited {
  color: #f30;
}

a:hover {
  color: #f90;
}

h1 a {
  color: #000!important;
}

#main {
  position: absolute;
  top: 2.5em;
  left: 17.5em;
  width: 36em;
}

#main h1 {
  font-size: 2.5em;
  font-weight: normal;
  font-family: 'Vollkorn';
  letter-spacing: -1px;
}

#main p {
  margin: 20px 0;
  font-size: 15px;
  line-height: 20px;
}

#main ul {
  margin: 20px;
}

#main li {
  list-style-type: square;
  font-size: 15px;
  line-height: 20px;
}

#sidebar {
  position: absolute;
  top: 2.5em;
  left: 1.25em;
  width: 12.5em;
  padding: 20px 20px 0 0;
  border-right: 1px solid #ccc;
  text-align: right;
}

#sidebar h2 {
  text-transform: uppercase;
  font-size: 13px;
  color: #333;
  letter-spacing: 1px;
  line-height: 20px;
}

#sidebar ul {
  list-style-type: none;
  margin: 20px 0;
}

#sidebar li {
  font-size: 14px;
  line-height: 20px;
}

span.latex img { 
  vertical-align: middle; 
  border: none; 
}

span.active {
  font-weight: bold;
  color: #666;
}

blockquote {
  padding: 0.8em;
  margin: 0.5em;
  border: 1px solid #dadada;
  background-color: #fbfbfb;
}

pre {
  font-family: "Consolas","Bitstream Vera Sans Mono","Courier New",Courier,monospace !important;
  padding: 0.5em;
  margin: 0.5em;
  border: 1px solid #dadada;
  background-color: #fbfbfb;
}

code {
  font-family: "Consolas","Bitstream Vera Sans Mono","Courier New",Courier,monospace !important;
}

div.license {
  font-size: 0.6em;
  margin: 10px;
  padding : 1em;
}

div.license img {
  float: left;
  margin-right: 1em;
  padding-bottom: 3em;
  padding-top: 1.6em;  
}

p.sidenote {
  font-size: 0.5em!important;
}