body {
    color:              black;
    background-color:   white;
    margin-top:         0px;
    margin-left:        0.5em;
}

h2 {
/*
    font-size:          130%;
    font-weight:        bold;
*/
    background-color:   #C0E0C0;
    padding:            0.1em;
}
h3 {
/*
    font-size:          120%;
*/
    border-color:       #000090;
    border-left-style:  solid;
    border-left-width:  1em;
    padding-left:       0.2em;
}
h4 {
/*
    font-size:          120%;
*/
    text-decoration:    underline;
}

em.delete {
    font-style:		normal;
    font-weight:	bold;
    color:		#0000FF;
}

em.add {
    font-style:		normal;
    font-weight:	bold;
    color:		#FF0000;
}

th {
    color:		black;
    background-color:	#CCCCCC;
}
th code, td code {
    white-space:        nowrap;
}
pre code {
    white-space:        pre;
}
td {
    border-color:       #A0A0A0;
    border-bottom-style:solid;
    border-bottom-width:1px;
    border-right-style:solid;
    border-right-width:1px;
}
td.noborder {
    border-style:	none;
}

dl {
    margin-left:        1em;
    line-height:        1.1em;
}   
dt {
    margin-top:         0.4em;
/*  font-weight:        bold; */
}