.basestyle {
    font-family: arial;
    color: #000000;
    font-size: 11pt;
}

.basestyle hr { 
    height: 1px; 
    color: #AAA; 
    background-color: #AAA; 
    border: 0; 
    margin: 0 10px; 
}

.maintitle {
    font-family: arial;
    color: #eff0f2;
    font-weight: bold;
    font-size: 22pt;
}

.subtitle {
    font-family: arial;
    color: #000000;
    font-weight: bold;
    font-size: 11pt;
}

.menu {
    font-family: arial;
    font-weight: normal;
    font-size: 11pt;

}

.headerbg {
    font-family: arial;
    background-color: #2b384e;
    font-size: 11pt;
}

.primarybg {
    font-family: arial;
    background-color: #ffffff;
    font-size: 11pt;
}

.secondarybg {
    border: 1px solid #AAA; 
    font-family: arial;
    background-color: #EEE;
    font-size: 11pt;
}

A:link {
    color: #00D;
}

A:visited {
    color: #00D;
}

.menu2 {
    line-height: 150%;
    font-family: arial;
    border: 1px solid #AAA; 
    background: #EEE; 
    padding: 5px; 
    margin: 0px 0px 0px 0px; 
    width: 90%; 
    float: left; 
    clear: left;
    font-size: 11pt;
}

code {
    font-family: 'Courier New', Courier, monospace;
    background-color: #c3e4ff;
    border-radius: 4px;
    padding-left: 3px;
    padding-right: 3px;
}

.wiki { line-height: 150%; }
.wiki table { border-collapse: collapse; margin: 10px 0; }
.wiki p { margin: 0; padding: 0; padding: 5px 0; }
.wiki td { border: 1px solid #DDD; }
.wiki #toc { border: 1px solid #AAA; background: #EEE; padding: 5px; margin: 0px 0px 0px 0px; width: 25%; float: right; clear: right;}
.wiki pre { background-color: #EEE; border: 1px solid #CCC; padding: 10px; font-size: 11pt; }
.wiki .nob td { border: 0; }
.wiki hr { height: 1px; color: #AAA; background-color: #AAA; border: 0; margin: 0 10px; }
.wiki ul { padding: .5em 0 0 3em; margin: 0; }
.wiki ol { padding: .5em 0 0 3em; margin: 0; }
.wiki ul.quotelist { list-style: none; }
.wiki img { border: 0; }


/* Styles V3 */

img {
    max-width: 100%;
}

pre,
pre .text,
pre .wiki {
    max-width: 70vw;
    overflow-x: scroll;

    background-color: #EEE; border: 1px solid #CCC; padding: 10px; font-size: 11pt;
}

span.gui-text {
    font-weight: bold;
    border: 1px dotted black;
    border-radius: 4px;
    color: #008cff;
}

span.gui-text:before {
    content: "\0022";
}

span.gui-text:after {
    content: "\0022";
}


span.user-input {
    font-weight: bold;
    font-style: italic;
    text-decoration-line: underline;
    text-decoration-style: dotted;
    text-decoration-color: red;
}

span.user-input:before {
    content: "\0022";
    text-decoration: none;
}

span.user-input:after {
    content: "\0022";
    text-decoration: none;
}