ul.extrapadding li, ol.extrapadding li      {
        margin-top:0.5em;
        margin-bottom:0.5em
}

.defntable                      {
        vertical-align:top;
        border:1px solid black;
        background-color:#EEF;
        margin: 1em 0;
        border-spacing:0px
}
.defntable th                   {
        padding:4pt 20pt 4pt 4pt;
        border-bottom:1px solid #CCC;
        font-family:monospace;
}
.defntable td                   {
        padding:4pt;
        border-bottom:1px solid #CCC;
        font-size:90%;
        vertical-align:top
}
.example                        {
        padding:4pt;
        border:1px solid black;
        background-color:#EEF
}
th                              {
        text-align: left;
        vertical-align:top
}
.initparams                     {
    background-color:#EEE;
    font-size:90%;
    margin:1em 0;
    padding:0.5em;
    border:ridge;
    width:auto;
}
.featurename                    { display: block; margin:1em 0 }
.featureactualname                { font-weight:bold }
.initparams table               {
        vertical-align: top;
        border-spacing: 0px;
        margin-top:1em
}
.initparams th                  {
        padding:4pt 20pt 4pt 4pt;
        border-top: 1px solid #CCC;
        font-family: monospace;
}
.initparams td                  {
        padding:4pt;
        border-top:1px solid #CCC;
        font-size:90%;
        vertical-align:top
}
.defntable td                   {
.example i                      { color:#888 }
.example i a                    { color:#888 }
dd                              { margin:0.25em 0em 1em 2em }