/* url("/support/css/support.css"); */

body { xborder: 3px solid yellow; }

div.topmenu {
    width: fit-content;
    margin: 1em auto;
    xborder: 1px solid red;
    font-size: smaller;
    
}

div.botmenu {
    width: fit-content;
    margin: 1em 0;
    xborder: 1px solid red;
    font-size: small;
    
}

div.section { margin-left: 2em; }
pre.codebox {
    border: 1.5px solid black;
    border-radius: 10px;
    width: fit-content;
    padding: 0.25em;
}
dl.glossary {
    padding: 0.5em;
}
dl.glossary dt {
    float: left;
    clear: left;
    xborder: 1px solid red;
    font-weight: bold;    
}
dl.glossary dt:after {
}
dl.glossary dd:before {
}
dl.glossary dd {
    margin-left: 6em;
    margin-bottom: 1em;
    xborder: 1px solid green;
    xmin-height: 1em;
}

hr {
    margin: 0;
}
br.clearall { clear: both; }
div.icon {
    height: 64px;
}

img.banner {
    display: block;
    margin: 3px auto;
    xborder: 1px solid red;
}
img.icon {
    float: left;
    margin-left: 16px;
    margin-right: 1em;
    width: 64px;
}