body {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 12px;
    background-repeat: no-repeat;
    background-attachment: scroll;
}

.info {
    margin-top: 0pt;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 10px;
}

.title {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 24px;
    line-height: 30px;
    font-weight: bold;
    color: #000000;
    margin-top: 0px;
    margin-bottom: 2px;
}


a.menu {
        font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 12px;
    line-height: 18px;
    text-decoration: none;
    color: #00AAF0;
    white-space:nowrap;
}

a {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    text-decoration: none;
    color: #00AAF0;
}

a:hover {
    color: #C81900;
}

a.menu {
}

.menutitle {
    color: #C81900;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-weight: bold;
    white-space:nowrap;
}

a.menu:hover {
    color: #C81900;
}

a.menuselect {
        font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 12px;
    line-height: 18px;
    text-decoration: none;
    color: #00AAF0;
    white-space:nowrap;
    color: #C81900;
    font-weight: bold;
}

a.menuselect:hover {
    font-weight: bold;
    color: #C81900;
}

pre {
    background-color: #ffffcc;
    padding: 5px;
    margin: 5px 0px 20px 20px;
    max-width: 600px;
    overflow: auto;
}
body {
     max-width: 900px;
}

/* Numbered code sections */
pre.numbered {
    counter-reset: line;
}
pre.numbered code{
    counter-increment: line;
}
pre.numbered code.add{
    counter-increment: line;
    color: red;
    font-weight: bold;
}
pre.numbered code:before{
    content: counter(line);
    font-size: 60%;
    padding-right: 2em;
    color: black;
    text-align: right;
    display: inline-block;
    width: 3em;
    font-weight: normal;
}
pre.numbered code:before{
    -webkit-user-select: none;
}