html {
    background: none repeat scroll 0 0 transparent;
    font-family: Georgia,serif;
    line-height: 1.5em;
}

.nav, hr, #footinfo, .rss {
    display: none;
}

a {
    border: none;
    text-decoration: none;
    color: #222;
}

a img {
    border: none;
    outline: none;
}

#contentwrap a:after {
    content: " [" attr(href) "] ";
    font-size: 9pt;
    color: #888;
    font-weight: normal;
}

#headerwrap {
    height: 60px;
    border-bottom: 3px solid #555;
    background: white;
    margin: 0;
    padding: 0;
}

#headerwrap li {
    display: none;
    list-style-type: none;
}

#headerwrap li#logodiv {
    display: block;
    float: left;
    margin-top: 8px;
}

#headerwrap li#contactdiv {
    display: block;
    float: right;
    font-family: Arial,sans-serif;
    font-size: 10pt;
    line-height: 1.25em;
    text-align: right;
}

#contactdiv p {
    margin: 0;
}

footer {
    border-top: 1px solid #888888;
    display: block;
    font-size: 10pt;
    margin-top: 2ex;
}

address {
    text-align: right;
}

.article-list {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

.article-list > li {
    border-top: 1px solid #EEEEEE;
    padding: 1ex 0;
}

.article-list h2 {
    font-size: 110%;
    font-weight: normal;
    margin: 1ex 0 0;
}

.article-list h3 {
    color: #555555;
    font-size: 90%;
    font-weight: normal;
    margin: 0;
}

.article-list p {
    margin: 0.5ex 0;
}

.port h4 {
    margin: 0;
    font-weight: normal;
}

.port h5 {
    font-weight: normal;
    margin: 0;
}

#breadcrumbs ol {
    margin: 1ex 0;
    padding: 0;
    font-size: 11pt;
}

#breadcrumbs li {
    display: inline-block;
    list-style-type: none;
    margin: 0 2ex 0 0;
}

#breadcrumbs a {
    color: #555555;
    font-size: 95%;
    font-weight: bold;
    text-decoration: none;
}

#contentwrap #breadcrumbs a:after {
    content: "";
}

#breadcrumbs li:after {
    content: "→";
    margin-left: 1ex;
}

h1 {
    font-size: 18pt;
}

h2 {
    font-size: 16pt;
}

h3 {
    font-size: 14pt;
}

h4 {
    font-size: 12pt;
    font-style: italic;
}

article h2.published {
    font-size: 90%;
    margin: 0 0 1ex;
    padding: 0;
}

article h1 {
    font-size: 150%;
    margin-bottom: 0;
}

.toc {
    background: none repeat scroll 0 0 #F8F8F8;
    border: 1px solid #CCCCCC;
    border-radius: 1ex 1ex 1ex 1ex;
    float: left;
    list-style-position: outside;
    list-style-type: square;
    margin-right: 1.5ex;
    margin-bottom: 1.5ex;
    margin-top: 0;
    padding: 1ex;
    width: 30ex;
}
.toc ol {
    list-style-type: square;
    margin: 0;
    padding-left: 2ex;
}
.toc > h2 {
    font-size: 100%;
    margin: 0;
    text-align: center;
}

#contentwrap .toc a:after {
    content: "";
}

.code-snippet {
    background: none repeat scroll 0 0 #F8F8F8;
    border: 1px solid #CCCCCC;
    border-radius: 1ex 1ex 1ex 1ex;
    font-size: 10pt;
    line-height: 1.15em;
    max-width: 100%;
    padding: 2ex;
    clear: both;
}

var {
    font-family: Courier,monospace;
    font-style: normal;
}