/*
 * @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=Crimson+Text:400,400italic,700");
 * @import url("http://fonts.googleapis.com/css?family=UnifrakturCook:700");
 * @import url("http://fonts.googleapis.com/css?family=Alegreya:400,400italic,700");
 * @import url("http://fonts.googleapis.com/css?family=PT+Mono");
 * @import url("http://fonts.googleapis.com/css?family=Droid+Sans+Mono");
 */

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

html {
    font-family: "PT Sans", sans-serif;
    font-size: 13pt;
    width: 60em;
    margin-left: auto;
    margin-right: auto;
}

h1.title {
    font-size: 36pt;
    font-family: "UnifrakturMaguntia";
    font-weight: normal;
    text-align: center;
}
h1.title:before { content: "✥ "; }
h1.title:after { content: " ✥"; }
h2 {
    font-size: 24pt;
    border-bottom: solid 4px #800020;
}
h3 {
    font-size: 20pt;
    border-bottom: solid 2px #A04040;
}
h4 {
    font-size: 16pt;
    border-bottom: solid 1px #C08080;
}

pre.src-output {
    background: -moz-repeating-linear-gradient(-45deg, #F3F5F7, #F3F5F7 40px, #DAE6F2 50px, #DAE6F2 60px, #F3F5F7 70px);
}

code {
    font-family: "PT Mono", monospace;
}
pre {
    border: 1pt solid #AEBDCC;
    background-color: #F3F5F7;
    padding: 5pt;
    font-family: "PT Mono", monospace;
    font-size: 90%;
    overflow:auto;
}

p.tagline span#name { font-size: 24pt; font-family: "UnifrakturMaguntia"; }

span.tag {
    float: right;
}

/*
span.tag span {
    padding: 4px;
    margin: 4px;
    border: outset 4px #808080;
    display: inline-block;
}
*/

span.tag span.bug {
    background-color: #FFC0C0;
}

div#text-table-of-contents {
    font-size: 90%;
    margin-left: -1em;
}
div#text-table-of-contents ul {
    list-style-type: none;
    margin-left: -1em;
}
div#text-table-of-contents a {
    text-decoration: none;
}

div#postamble {
    font-size: 80%;
}
div#postamble p {
    margin-top: 0;
    margin-bottom: 0;
}

table { margin-left: auto; margin-right: auto; }
table { border: solid 1px black; }
table th { background-color: #C0C0C0; }
table.bordered { border: solid 1px black; }
table.narrow td {
    padding-top: 0.1ex;
    padding-bottom: 0.1ex;
}

div.spacious > ul > li {
    margin-top: 2ex;
}
div.spacious > ul > li:first-child {
    margin-top: 0;
}