.main
{
 margin: 0px;
 padding: 0px;
 border: 0px;
 width: 100%;
}

.article
{
 padding: 10px;
 vertical-align: top;
}

.abstract
{
/* color: #333333; */
}

.tocentry
{
 margin-top: 2px;
 margin-bottom: 2px;
 text-indent: -1.5em;
 margin-left: 1.5em;
}

a.slim
{
 text-decoration: none;
}

H2
{
 margin-top: 15px;
 margin-bottom: 4px;
}

H3
{
 margin-top: 10px;
 margin-bottom: 4px;
}

P
{
 margin-top: 4px;
}

HR
{
 color: #999999;
 background-color: #999999;
}

.warn
{
 background-color: #661111;
 color: #eeee22;
 padding: 7px;
}

.note
{
 background-color: #116611;
 color: #000000;
 padding: 7px;
}

.full
{
 font-size: 1.0em;
 width: 100%;
 margin-top: 4px;
 margin-bottom: 4px;
}
.impo
{
 background-color: #ffff55;
 color: #222222;
 padding: 7px;
}

.command
{
 font-family: monospace;
 font-size: 1.25em;
 color: #0000ff;
}

.path
{
 font-family: monospace;
 font-size: 1.25em;
}

table.user
{
 background: #000000;
 color: #ffffff;
 font-weight: bold;
 font-size: 0.8em;
}

td.user
{
 background: #cccccc;
 padding-left: 5px;
 padding-right: 5px;
}

th.user
{
 background: #444444;
 color: #ffffff;
 padding-left: 5px;
 padding-right: 5px;
}

th.code
{
 background: #444444;
 color: #ffffff;
 padding-top: 2px;
 padding-bottom: 2px;
 padding-left: 5px;
 padding-right: 5px;
 font-weight: bold;
 font-size: 0.85em;
}

pre
{
 margin: 0px;
}

td.code
{
 background: #222222;
 padding-left: 5px;
 padding-right: 5px;
 padding-top: 3px;
 padding-bottom: 3px;
 font-size: 1.1em;
}

.column
{
 background: #000000;
 font-size: 0.8em;
 padding-left: 10px;
 padding-right: 10px;
 padding-bottom: 10px;
 padding-top: 20px;
 vertical-align: top;
 width: 185px;
}

span.cite
{
 font-style: italic;
}

p.cite
{
 margin-left: 2em;
}