/* 
   Sans-serif fonts:
     font-family: "Trebuchet MS", Verdana, Helvetica, Arial, sans-serif;

   Serif fonts:
     font-family: Georgia, serif;
 */




/*
 *  General Styling
 */


body {
    font-family: "Trebuchet MS", Verdana, Helvetica, Arial, sans-serif;
    font-size: 9pt;
    color: #666666;
    width: 60em;
    max-width: 100%;
    margin-left: auto;
    margin-right: auto;
    padding: 0 2em;
}

h1, h1 a, h2, h2 a, h3, h3 a {  /* Note that h4 stays gray and un-bold.... */
    font-weight: bold;
    color: #000000;
}

h1 {
    font-size: 26pt;
}

h2 {
    font-size: 14pt;
}

h3 {
    font-size: 10pt;
}

h4 {
    font-size: 10pt;
}

a {
    color: #ff0000;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

a:visited {
    color: #ff8888;
}

p, ol, ul {
    margin-bottom: 2em;
    line-height: 150%;
}




/* 
 * Title:
 *
 * The #title div and its contents: The name of the site, the
 * slugline, and the menu bar.
 */

#title {
    position: relative;
    margin-top: 10px;
    margin-bottom: 6em;
}

#title h1 {
    letter-spacing: .25em;
    line-height:20%;
    margin-top: 30pt;
}

#title h1 a {
    color: black;
}

#title h1 a:hover {
    color: black;
    text-decoration: none;
}

#title h1 a:visited {
    color: black;
}

#title span.slug {
    display: block;
    position: absolute;
    top: 8pt;
    left: 0;
    text-align: left;
    padding-top: 1em;
}

#title ul.menu {
    display: block;
    position: absolute;
    text-align: right;
    right: 0;
    top: 8pt;
}

#title .menu li {
    display: inline;
    padding: 1em;
}


/* 
 * #page: The main body of the site and the right-hand sidebar
 */


#main {
    margin-right: 340px;
}

#right {
    float: right;
    width: 300px;
}

#right h3 {
    margin-bottom: 0;
    padding-bottom: 0;
}

#right ul {
    margin-top: 0;
    padding-left: 1em;
}

#right ul li {
    list-style: none;
}

/* Blogging */

h4.datehead {
    margin-top: 0;
    margin-left: 1em;
}


/* Code blocks */
pre {
}

code.codelisting {
    padding: .5em;
    display: block;
    border: dotted #666666 1px;
    overflow: auto;
}

/* Colors for python syntax highlighting (TODO: retune for new look)  */
.py-src-keyword {
    color: #663;
}

.py-src-triple {
    color: red;
}

.py-src-comment {
    color: #336;
    font-style: italic;
}

.py-src-identifier {
    /* color: teal; */
    color: gray;
    font-weight: bold;
}

.py-src-string {
    /* color: purple; */
    color: #633;
}

.py-src-op {
    color: #333;
}

.py-src-variable {
    color: #666;
}


/* Fine print */

p.fineprint {
    margin-top: 1em;
    text-align: center
    font-size: 6pt;
}