@IMPORT url("site.css");

/* Headings */
h2
{
    font-size: 12pt;
    font-weight: bold;
    border-bottom: thin dashed #339;
    border-left: 8px solid #339;
    background-image: none;
    color: #339;
    margin-left: -2em;
}

/* Code blocks */
pre
{
    background: #f0f0f0;
    border-top: thin dotted #a0a0a0;
    border-bottom: thin dotted #a0a0a0;
}

.highlight
{
    font-weight: bold;
    color: #339;
}

#rightnav
{
    float: right;
    width: 140px;
    margin: 0;
    padding: 1em;
}

.bottom-border {
  padding-bottom: 0.5em;
  border-bottom: 1px dotted #226;
}