font-family: sans-serif;

    font-family: "Nimbus Sans L", sans-serif;

h1,h2,h3

h1, h2, h3, h4

    text-align: left;

    border: 1px solid #6185a0;

    border: 1px solid #b0b0b0;

    border-radius: 0.4em;
    box-shadow: 0.4em 0.4em 0.5em #e0e0e0;

}
div.example pre
{
    box-shadow: none;

    border: 1px solid #6185a0;

    border: 1px solid #b0b0b0;

    /* font-size: 90%; */

    border-radius: 0.4em;
    box-shadow: 0.4em 0.4em 0.5em #e0e0e0;

    border: 1px solid #6185a0;

    border: 1px solid #b0b0b0;

    border-radius: 0.4em;
    box-shadow: 0.4em 0.4em 0.5em #e0e0e0;

//    margin: 0 0 0 0;

a { text-decoration: none; }
a:hover { text-decoration: underline; }

a:hover { background: #ffffcd; }

.toc

div.toc

div.toc dl
{
    margin-top: 0em;
    margin-bottom: 0em;
}

{
    font-style: italic;
}
.default

.availability
{
    font-style: italic;
}

div.informaltable table

span.command strong

  border: 1px solid #6185a0;
  width: 100%;

    font-weight: normal;
    color: #400000;

div.informaltable td

div.calloutlist table

  border: 0;
  padding: 5px;

    box-shadow: none;

div.informaltable td.default

table

  text-align: right;
}
div.informaltable th
{
  text-align: left;
  color: #005aa0;
  border: 0;
  padding: 5px;
  background: #fffff5;
  font-weight: normal;
  font-style: italic;
}
td.varname, td.tagname, td.paramname
{
  font-weight: bold;
  vertical-align: top;

    border-collapse: collapse;
    box-shadow: 0.4em 0.4em 0.5em #e0e0e0;

div.epigraph

div.affiliation

    text-align: right;
}
table.productionset table.productionset
{
    font-family: monospace;
}
strong.command
{
//    font-family: monospace;
//    font-style: italic;
//    font-weight: normal;
    color: #400000;
}
div.calloutlist td
{
    padding-bottom: 1em;
}

}