body.history h1         { background:   #008000; }
body.history h2         { border-color: #008000; color: #030; }
body.history h3         {                        color: #030; }

table.history
{
    margin-bottom:      0em;
}

table.history .h1
{
    font-size:          160%;
}

table.history .h1 td
{
    padding-bottom:     0em;
}

.history td,
.history th
{
    padding-bottom:     1em;
}

.history th a,
.history th a:hover,
.history th a:visited,
.history th a:active
{
    color:              #030;
    text-decoration:    underline;
}

.history td.title,
.history td.line
{
    font-style:         italic;
    font-weight:        bold;
    
    white-space:        nowrap;
}

.history .change del,
.history .change del *
{
    text-decoration:    line-through;
}

.history .change ins,
.history .change ins *
{
    text-decoration:    none;
}