body {
    font-family: verdana, sans-serif;
}

.reference td {
    border-top: lightgray solid 1px;
    padding: 10px;
}

ul.content {
    list-style: none;
    margin-top: 6px;
}

ol.content {
    margin-top: 6px;
}

li {
    margin-top: 8px;
    line-height: 120%;
}

.note {
    color: crimson;
    font-weight: bold;
}

.str {
    color: blue;
    font-family: monospace;
    border: lightgray solid 1px;
    padding: 1px 4px;
}

.txt {
    background-color:rgb(255,255,0);
    border: lightgray solid 1px;
    padding: 1px 4px;
}

.gvar {
    color: #DD4A68;
    font-family: monospace;
}

.prop {
    color: blue;
    font-family: monospace;
}

.lvar {
    color: black;
    font-family: monospace;
}

.code {
    font-family: monospace;
    border-radius: 5px;
    background-color: rgb(245, 242, 240);
    padding: 10px;
    color: #07a;
}

.cpp-code {
    font-family: monospace;
    border-radius: 5px;
    background-color: whitesmoke;
    padding: 10px;
    color: darkblue;
}

.cpp-keyword {
    color: brown;
}

.cpp-method {
    color: black;
}

.cpp-type {
    color: blue;
}

.cpp-var {
    color: gray;
}

.enlarge {
    font-size: larger;
}

.lang {
    color: darkblue;
}

.redcode {
    color: red;
}

.keycode {
    color: brown;
}

.keyword {
    color: #07a;
}

.comment {
    color: #6aa84f;
}

.grid-green th {
    font-weight: 400;
    padding: 6px 10px;
    background-color: #36752D;
    color: white;
}

.grid-green td {
    padding: 6px 10px;
    background-color: #DFFFDE;
    color: #275420;
    text-align: center;
}

.grid-blue th {
    font-weight: 400;
    padding: 6px 10px;
    background-color: #006699;
    color: white;
}

.grid-blue td {
    padding: 6px 10px;
    background-color: #E1EEf4;
    color: #00557F;
    text-align: center;
}

#header {
    border-bottom: lightgray dotted 1px;
    margin-bottom: 40px;
    padding-bottom: 10px;
    color: gray;
}

#footer {
    font-size: 10px;
    border-top: lightgray dotted 1px;
    margin-top: 40px;
    padding-top: 10px;
}

sup {
    color: gray;
    font-size: 12px;
    font-weight: normal;
    border: lightgray solid 1px;
    padding: 1px 4px;
}