body {
    font-family: "Verdana";
    font-weight: normal;
    font-size: .7em;
    color: black;
}

p {
    font-family: "Verdana";
    font-weight: normal;
    color: black;
    margin-top: -5px;
}

b {
    font-family: "Verdana";
    font-weight: bold;
    color: black;
    margin-top: -5px;
}

h1 {
    font-family: "Verdana";
    font-weight: normal;
    font-size: 18pt;
    color: red;
}

h2 {
    font-family: "Verdana";
    font-weight: normal;
    font-size: 14pt;
    color: maroon;
}

pre {
    font-family: "Consolas","Lucida Console",Monospace;
    font-size: 11pt;
    margin: 0;
    padding: 0.5em;
    line-height: 14pt;
}

a {
    text-decoration: none;
}
/*ul {
    list-style-type: disc;
    
}*/

ul li {
    font-size: 13px;
    padding: 4px;
}

.marker {
    font-weight: bold;
    color: black;
    text-decoration: none;
}

.version {
    color: gray;
}

.error {
    margin-bottom: 10px;
}

.expandable {
    text-decoration: underline;
    font-weight: bold;
    color: navy;
    /*cursor: hand;*/
}

.red-c {
    color: red;
    font-weight: bold;
}

.msg {
    display: block;
    border-radius: 7px;
    border: 4px solid grey;
    background-color: orange;
    padding: 3px;
    font-weight: bold;
}

.hide {
    display: none;
}

@media screen and (max-width: 639px) {
    pre {
        width: 440px;
        overflow: auto;
        white-space: pre-wrap;
        word-wrap: break-word;
    }
}

@media screen and (max-width: 479px) {
    pre {
        width: 280px;
    }
}