body {
    font-family: Helvetica, Arial, sans-serif;
    font-size: 14px;
    line-height: 1.5;
    margin: 0;
    padding: 0; }
code, pre {
    font-family: "Bitstream Vera Sans Mono", Courier, monospace;
    font-size: 12px;
    line-height: 1.3; }
a {
    border-bottom: 1px dotted #000;
    color: #000;
    text-decoration: none; }
a:hover {
    background: #ddd;
    border-bottom: 1px solid #000; }
h1 {
    font-size: 14px;
    font-weight: bold;
    letter-spacing: -1px;
    margin: 0; }
h2 {
    font-size: 24px;
    font-weight: normal;
    margin: 0; }
p {
    margin: 0 0 12px 0; }

#head {
    background: #000;
    padding: 6px 12px; }
#head a {
    border-color: #fff;
    color: #fff;
    display: inline;
    font-size: 12px;
    margin-left: 12px; }
#head a:hover {
    background: #fff;
    color: #000; }
#head h1 {
    display: inline; }
#head h1 a {
    border: 0;
    font-size: 24px;
    margin-left: 0; }
#content {
    padding: 12px;
    width: 720px; }
div.posts div.post.recent {
    margin: 12px 0 24px 0; }
div.posts div.post {
    margin-bottom: 0; }
div.post div.meta {
    font-size: 12px; }
div.post div.meta a {
    border-color: #666;
    color: #777; }
div.post div.meta a:hover {
    border-color: #000;
    color: #000; }
div.post div.content {
    margin-top: 12px; }
div.tags_list h3 {
    display: none; }
div.tags_list ul.tags {
    display: block;
    list-style: none;
    margin: 0;
    padding: 0; }
div.tags_list ul.tags li.tag {
    display: inline;
    margin: 0 12px 0 0;
    padding: 0; }
div.tags_list ul.tags li.tag span.count {
    color: #666;
    font-size: 12px; }
div.tagged_posts_list div.tag {
    margin-top: 12px; }
div.tagged_posts_list div.tag ul.posts {
    list-style: square;
    margin: 0 0 0 1.3em;
    padding: 0; }
div.tagged_posts_list div.tag ul.posts li.post {
    margin: 0;
    padding: 0; }
div.tagged_posts_list div.tag ul.posts li.post span.date {
    color: #666;
    font-size: 12px;
    margin-left: 3px; }

/* this is from github */
.highlight { background:#fff; }
.highlight .c  { color:#998;font-style:italic; }
.highlight .err { color:#a61717;background-color:#e3d2d2; }
.highlight .k  { font-weight:bold; }
.highlight .o  { font-weight:bold; }
.highlight .cm { color:#998;font-style:italic; }
.highlight .cp { color:#999;font-weight:bold; }
.highlight .c1 { color:#998;font-style:italic; }
.highlight .cs { color:#999;font-weight:bold;font-style:italic; }
.highlight .gd { color:#000;background-color:#fdd; }
.highlight .gd .x { color:#000;background-color:#faa; }
.highlight .ge { font-style:italic; }
.highlight .gr { color:#a00; }
.highlight .gh { color:#999; }
.highlight .gi { color:#000;background-color:#dfd; }
.highlight .gi .x { color:#000;background-color:#afa; }
.highlight .go { color:#888; }
.highlight .gp { color:#555; }
.highlight .gs { font-weight:bold; }
.highlight .gu { color:#aaa; }
.highlight .gt { color:#a00; }
.highlight .kc { font-weight:bold; }
.highlight .kd { font-weight:bold; }
.highlight .kp { font-weight:bold; }
.highlight .kr { font-weight:bold; }
.highlight .kt { color:#458;font-weight:bold; }
.highlight .m  { color:#099; }
.highlight .s  { color:#d14; }
.highlight .na { color:#008080; }
.highlight .nb { color:#0086B3; }
.highlight .nc { color:#458;font-weight:bold; }
.highlight .no { color:#008080; }
.highlight .ni { color:#800080; }
.highlight .ne { color:#900;font-weight:bold; }
.highlight .nf { color:#900;font-weight:bold; }
.highlight .nn { color:#555; }
.highlight .nt { color:#000080; }
.highlight .nv { color:#008080; }
.highlight .ow { font-weight:bold; }
.highlight .w  { color:#bbb; }
.highlight .mf { color:#099; }
.highlight .mh { color:#099; }
.highlight .mi { color:#099; }
.highlight .mo { color:#099; }
.highlight .sb { color:#d14; }
.highlight .sc { color:#d14; }
.highlight .sd { color:#d14; }
.highlight .s2 { color:#d14; }
.highlight .se { color:#d14; }
.highlight .sh { color:#d14; }
.highlight .si { color:#d14; }
.highlight .sx { color:#d14; }
.highlight .sr { color:#009926; }
.highlight .s1 { color:#d14; }
.highlight .ss { color:#990073; }
.highlight .bp { color:#999; }
.highlight .vc { color:#008080; }
.highlight .vg { color:#008080; }
.highlight .vi { color:#008080; }
.highlight .il { color:#099; }