/*
 * @import url("http://fonts.googleapis.com/css?family=PT+Sans:400,400italic,700");
 * @import url("http://fonts.googleapis.com/css?family=Asap:400,400italic,700");
 * @import url("http://fonts.googleapis.com/css?family=Ubuntu+Mono:400,700");
 * @import url("http://fonts.googleapis.com/css?family=Droid+Serif:regular,italic,bold,bolditalic&subset=latin");
 * @import url("http://fonts.googleapis.com/css?family=Droid+Sans:regular,bold&subset=latin");
 */

@import url("http://fonts.googleapis.com/css?family=Rosario:400,400italic,700");
@import url("http://fonts.googleapis.com/css?family=Droid+Sans+Mono");

body {
    font-family: "Rosario", sans-serif;
    font-size: 14pt;
    max-width: 48em;
    text-align: justify;
}

body#front-page li > img {
    padding-top: 2px;
    float: right;
}

pre {
    background-color: #C0C0C0;
    border: dashed 1px black;
    font-family: "Droid Sans Mono", monospace;
    padding: 8px;
}

code {
    color: #008000;
    font-family: "Droid Sans Mono", monospace;
}

tt {
    font-family: "Droid Sans Mono", monospace;
}

blockquote {
    border-top: solid 1px black;
}

blockquote.standalone {
    border-top: none;
}

blockquote p.attrib {
    text-align: right;
    font-style: italic;
}

a img {
    border: none;
}

li a {
    text-decoration: none;
}

table {
    border-collapse: collapse;
    border: solid 1px black;
    width: 100%;
}

thead > tr > td {
    background-color: #C0C0C0;
    border-bottom: solid 1px black;
}

tbody > tr > td {
    vertical-align: top;
}

table td {
    padding: 4px;
}

dd {
    padding-top: 1.5ex;
}

dt {
    padding-top: 1.5ex;
    font-weight: bold;
}

dl > dt:first-child {
    padding-top: inherit;
}

ul.tall > li:first-child {
    margin-top: 0px;
    padding-top: 0px;
}

ul.tall > li, ul.nested-tall > li {
    margin-top: 8px;
    padding-top: 8px;
}

p.buttons a {
    background-color: #C0C0C0;
    padding: 4px 6px 4px 6px;
    margin-left: 8px;
    border: solid 1px black;
    text-decoration: none;
}

p.buttons {
    padding-bottom: 18px;
    border-bottom: dotted 2px #808080;
}

var {
    color: #2060A0;
    font-style: normal;
}

div#updated {
    color: #808080;
    font-weight: bold;
    text-align: right;
}

span.sf {
    font-family: sans-serif;
}

span.sc {
    font-variant: small-caps;
}

body.links h2 {
    padding-left: 40px;
}

body.links h2 + p {
    padding-left: 40px;
}

body.links h2 + ul {
    padding-left: 80px;
}

body.links h3 {
    padding-left: 80px;
}

body.links h3 + p {
    padding-left: 80px;
}

body.links h3 + ul {
    padding-left: 120px;
}

h1.blog-title {
}

div.blog-date {
    font-size: 12pt;
    font-style: italic;
    border-bottom: solid 1px black;
    text-align: right;
    margin-top: -16pt;
    margin-bottom: 8pt;
    padding-bottom: 4pt;
}

span.tag {
    padding: 4px;
    border: solid 1px black;
    border-radius: 1ex;
    background-color: #C0C0C0;
}

span.cloud-tag {
    padding: 4px;
}

span.tag a, span.cloud-tag a {
    text-decoration: none;
}

div.tags-label {
    border-bottom: solid 1px black;
    padding-top: 2ex;
}

div.tags-label a {
    text-decoration: none;
}

div.tags {
    padding-top: 1ex;
}

div.tags span.tag {
    margin-right: 0.5em;
}