a {
   color: #000033;
}

a:visited {
   color: #003366;
}

blockquote {
    font-size: 0.9em;
}

/* list styles */

ul {
   list-style: none;
}

article.post header a, article.post footer a, li a {
   color: inherit;
   text-decoration: inherit;
}

/* header */

body > header {
   display: block;
   margin-bottom: 3em;
}

/* articles */

article.post {
   font-family:	"Linux Libertine",Palatino,"Palatino Linotype","Book Antiqua",Georgia,"Times New Roman",serif;
   display: block;
   width: 40em;
   margin-left: 3em;
   margin-bottom: 3em;
}

article.post > header {
   display: block;
   margin-bottom: 1em;
   font-size: 1.6em;
   font-weight: bold;
   padding-left: 0.25em;
}

article.post p {
}

article img.sidebar, article div.sidebar {
   position: absolute;
   left: 50em;
   width: 40em;
}

article.post footer {
   font-size: 0.8em;
   font-style: italic;
   color: grey;
}

article.post footer a.comments {
   margin-left: 2em;
}

/* leftnav */

div.leftnav {
   position: fixed;
   width: 1.5em;
   left: 0px;
}

div.leftnav ul {
   padding-left: 0;
   margin-top: 2em;
}

div.leftnav li {
   width: 1em;
   margin-left: auto;
   margin-right: auto;
   margin-bottom: 0.1em;
   line-height: 90%;
   vertical-align: text-top;
   text-align: center;
   border: 1px dotted lightgrey;
}

div.leftnav li a {
   display: block;
   color: #BBBBDD;
   width: 100%;
}

.ascii, div.leftnav {
   font-size: 2em;
}

.ascii a {
   color: inherit;
   text-decoration: none;
}

/* error */

body.error pre {
   font-family: "Courier New", Courier, mono;
   font-weight: bold;
   font-size: 0.6em;
   line-height: 0.7em;
   margin: auto;
   display: block;
   width: 40em;
   position: relative;
   right: 3em;
}

body.error h1 {
   text-align: center;
}

/* footer */

body > footer {
   font-weight: bold;
}

body > footer ul {
   padding-left: 0;
   text-align: center;
}

body > footer ul li {
   display: inline;
   border-left: 1px dotted lightgrey;
   padding-left: 0.5em;
}
body > footer ul li:first-child {
   border-left: none;
}

body > footer ul li a {
   display: inline;
}

/* color styling */

body.error {
   color: grey;
}

.ascii, div.leftnav, body > footer {
   color: lightgrey;
}

/* font styling */

.ascii, div.leftnav, body > footer, article pre, body.error h1 {
   font-family: Courier, "Courier New", mono;
}


#disqus_thread {
   margin: 0 3em;
   font-family:	"Linux Libertine",Palatino,"Palatino Linotype","Book Antiqua",Georgia,"Times New Roman",serif;
}