.pagebody pre {
    border:1px solid #666;;
    background: #f5f5f5;;
    padding: 2px;
}

/* Table of Contents block. */
#toc {
    position: relative;
    float: right;
    clear: right;
    z-index: 1;
    margin: 0 0 10px 10px;
    padding: 5px;
    width: 200px;
    font-size: 90%;
    background: #f6f6f6;
    border: 1px solid #ccc;
}
#toc h2 {
    font-size: 100%;
    font-weight: bold;
    margin: 0 0 4px 0;
    border-bottom: 1px dashed #000;
}
#toc li {
    margin: 0;
}
#toc li ol {
    margin-left: 10px;
}