/* overall content styling */

* {
    margin: 0px; padding: 0px;
}

p, blockquote, li, dd, dt {
    font-family: "Verdana", "DejaVu Sans", sans-serif;
    font-size: 10pt;
    line-height: 13pt;
    font-weight: normal;
}

h1, h2, h3, h4, table.zem th {
    font-family: "EB Garamond", garamond, serif;
    font-weight: normal;
    text-transform: lowercase;
    -webkit-font-feature-settings: "liga", "dlig";
}
span.hpar {
    font-weight: bold;
}
span.nolc {
    text-transform: none;
}

blockquote, dd {
    padding-left: 4ex;
    padding-right: 4ex;
}

h1 {
    text-align: center;
    padding-top: 2ex;
    padding-bottom: 2ex;
    font-size: 36pt;
}

h2 {
    font-size: 20pt;
    padding-top: 1ex;
    padding-bottom: 1ex;
}
h2.blogtitle {
    padding-bottom: 0ex;
}
p.blognav {
    margin-top: 0.5ex;
    margin-bottom: 2.5ex;
}

h3 {
    font-size: 16pt;
    padding-top: 1ex;
}
h4 {
    font-size: 14pt;
    padding-left: 2ex;
}

.sepline {
    margin-top: 2ex;
    border-top: 1px solid #ccc;
}

code, pre, p.hltitle, span.tt {
    font-family: "DejaVu Sans Mono", "Consolas", monospace;
    font-size: 10pt;
}
code, pre.code {
    padding-left: 1px;
    padding-right: 1px;
    color: #ab3388;
}

p, ul, ol, table.zem, div.hl {
    margin-top: 1.5ex;
    margin-bottom: 1.5ex;
}

p.note {
    border: 2px solid #ab3388;
    background-color: #f3dbec;
    padding: 1ex;
}

div.fig {
    text-align: center;
}
div.fig > .figimg {
    display: inline-block;
    padding: 1ex;
    border: 1px solid #aaa;
}
div.fig > p.figcap {
    margin-top: 0;
}
div.figinline {
    display: inline-block;
}

#body ol, #body ul {
    padding-left: 3ex;
}

del {
    color: #888;
}

table.zem {
    table-layout: fixed;
    border-collapse: collapse;
    width: 100%;
}
table.zem tr.btop {
    border-top: 1px solid #888;
}
table.zem col.bleft {
    border-left: 1px solid #888;
}
table.zem td, table.zem th {
    padding: 2px;
    text-align: left;
}
table.zem .ac {
    text-align: center;
}

a:link, a:visited { text-decoration: none; }
a:active, a:hover { text-decoration: underline; }
:link, :visited { color: #009e69; }

#footer { font-size: 8pt; }

/* navbar content styling */

#navbar > ul { padding-bottom: 1ex; }
#navbar > ul > li { padding-top: 2px; padding-bottom: 2px; }

#navbar ul {
    list-style-type: none;
    margin-left: 1ex;
}

/*
#navbar ul a.open { text-decoration: underline }
div.bodytext span.open {
    color: #800; background-color: #fee;
    padding-left: 3px; padding-right: 3px;
}
*/

#navbar li.navcat {
    border-top: 1px dotted #888;
    margin-top: 1ex;
}

#navlogodiv {
    padding: 1ex;
    text-align: center;
}
#navlogodiv img { border-style: none; }

/* page layout styling */

body {
    background-color: #ccc;
    margin: 0; padding: 0; border: 0;
    width: 100%;
}

#colmask {
    background-color: #eee;
    position: relative;
    clear: both;
    float: left;
    width: 100%;
    overflow: hidden;
}

#cols {
    float: left;
    width: 200%;
    position: relative;
    left: 192px;
    background: #fff;
    border-left: 1px solid #aaa;
}

#bodywrap {
    background-color: #0ff;
    float: right;
    width: 50%;
    position: relative;
    right: 192px;
    padding-bottom: 1em;
}

#body {
    margin: 0 8px 0 200px;
    position: relative;
    right: 100%;
    overflow: hidden;
}
#body pre { overflow: auto; }

#navbar {
    float: left;
    width: 191px;
    position: relative;
    right: 192px;
}

#footer {
    clear: both;
    float: left;
    width: 100%;
    border-top: 1px solid #aaa;
}

div.bodytext {
    max-width: 120ex;
    padding-left: 1ex;
    padding-right: 1ex;
}

/* syntax highlight support */

div.hl {
    border: 1px solid #aaa;
    padding: 1ex;
}
p.hltitle {
    margin-top: 0px;
    margin-bottom: 0.5ex;
    padding-bottom: 0.5ex;
    border-bottom: 1px dotted #aaa;
}

.hl.num { color:#2928ff; }
.hl.esc { color:#ff00ff; }
.hl.str { color:#ff0000; }
.hl.dstr { color:#818100; }
.hl.slc { color:#838183; font-style:italic; }
.hl.com { color:#838183; font-style:italic; }
.hl.dir { color:#008200; }
.hl.sym { color:#000000; }
.hl.line { color:#555555; }
.hl.mark { background-color:#ffffbb; }
.hl.kwa { color:#000000; font-weight:bold; }
.hl.kwb { color:#830000; }
.hl.kwc { color:#000000; font-weight:bold; }
.hl.kwd { color:#010181; }