BODY
{ margin: 2em; }

H1
{
    background: lightblue;
    padding:    0.3em;
}

H2
{
    background: lightgray;
    padding:    0.3em;
}

TABLE
{ border: 2px solid black; }

TD
{ border: 1px solid black; }

TH
{ font-size: 16pt; }

BUTTON
{
    margin:     0.4em;
    width:      12em;
    padding:    0.2em;
}

TABLE.OUTER
{ width: 95vw; }

TABLE.INNER
{ width: 90%; }

DIV.ENUMSTRDIV
{ width: 90%; } /* I know this is gone in the new version... */

TABLE.PARAMETERS
{
    margin:     0.7em 0em 1em 2em;
    background: lightblue;
}

TABLE.RETURNS
{
    margin:     0.7em 0em 1em 2em;
    background: lightgreen;
}

TABLE.PROPERTIES
{
    margin:     0.7em 0em 1em 2em;
    background: lightblue;
}

DIV.ENUMSTRDIV
{
    margin:     0.7em 0em 1em 2em;
    background: lightblue;
    padding:    0.4em;
    border:     2px solid black;
}

TABLE.INNER TR TD:First-Child
{
    background:     lightgray;
    font-weight:    bold;
    font-family:    monospace;
}

TABLE.INNER TR TD:Nth-Child(2)
{ font-family: monospace; }

B.INNERLABEL
{
    padding:    0.2em 1em 0.2em 0.4em;
    font-size:  14pt;
    background: black;
    color:      white;
}

DIV.INNERLABEL
{ margin: 0.5em 0em 0em 2em; }

B.WARNING
{
    padding:    0.2em 1em 0.2em 0.4em;
    font-size:  14pt;
    background: lightgray;
    color:      red;
}

DIV.WARNING
{ margin: 0.5em 0em 0.5em 2em; }

TD
{ padding: 0.5em 0.3em 0.3em 0.3em; }

/* Used to be: TD.TYPEID, TD.CMDNAME, TD.EVENTNAME */
TD.MAINNAME
{ background: lightyellow; }

SPAN.MAINNAME
{
    font-size:      14pt;
    font-weight:    bold;
    font-family:    monospace;
}

.tooltip
{
    position:   relative;
    display:    inline-block;
    /* border-bottom: 1px dotted black; */
}

.tooltip .tooltiptext
{
    visibility:         hidden;
    background-color:   black;
    color:              #fff;
    text-align:         center;
    border-radius:      6px;
    padding:            0.2em;

    /* Position the tooltip */
    position:           absolute;
    z-index:            1;
}

.tooltip:hover .tooltiptext
{ visibility: visible; }