p, pre, li, dd, dt, table {
    line-height: 1.3em;
}

dl {
    padding: 0;
    margin: 0;
}

dt {
    font-weight: bold;
    padding: 0;
    margin: 1.5em 0 0;
}

dd {
    padding: 0;
    margin: 1em 0 1.5em 6%;
}

table td, table th {
    padding: 1em;
}

table th {
    text-align: center;
}

table.verbatim { 
    padding:0;
    background-color:cornsilk;
    border-width:.1em;
    border-color:black; 
    border-style:dotted;
    margin:.7em 0;
}

table.calstable {
    margin: .5em 0 1em;
}

pre.synopsis {
    whitespace:normal;
    border-style:solid;
    font-weight:bold;
    color:darkred;
    padding: .5em;
    margin: 0;
}

body {
    background-color:#eee;
    color:black;
    padding: .5em 3%;
    overflow: auto;
}

span.token {
    color:green;
    font-weight:bold;
}

div.example p {
    margin-bottom:0;
}

.center {
    text-align: center;
}

.navheader table td, .navfooter table td {
    padding: .1em 0;
}

.author {
    font-size: 1.5em;
    font-weight: bold;
}

.toc {
    padding: 1em 0 .5em;
}

.toc a {
    text-decoration: none;
}

.toc a:hover {
    text-decoration: underline;
}

.toc dt {
    font-weight: normal;
    margin: 0 0 .3em;
}

.toc dd { margin: 0 0 0 6%; }

.toc > dl > dt:first-child {
    font-size: 1.5em;
    margin-bottom: .5em;
}

.columns {
    width: 30em; max-width: 100%;
    padding-top: 1em;
    margin: auto;
}

.columns > dl > dt {
    font-size: 1.2em;
    font-weight: bold;
    margin-bottom: .8em;
}

.columns > dl > dd > dl > dt {
    margin-bottom: .5em;
}

.columns > dl > dd > dl > dd {
    margin-bottom: .5em;
}

.columns > dl > dd {
    margin-bottom: 1.2em;
}

.columns:after {
    clear: both; content: ""; display: block;
    height: 0px; width: 0px; visibility: hidden;
}

@media (min-width: 65em) {
    body { padding: 0 2em; }
    .left {
        float: left; width: 47%;
        padding-left: 2.9%;
    }
    .right {
        float: right; width: 48%;
        padding-left: 2%;
        border-left: 1px solid #bbb;
    }
    .columns { width: 72em; min-width: 61em; }
}