dt,dd {
margin-top:0;
margin-bottom:0;
}

dt {
font-weight:700;
}

ins {
background:#FFF;
color:red;
}

del,strike,.strike {
background:#FFF;
color:silver;
text-decoration:line-through;
}

dd,li {
padding-bottom:8px;
}

.link-def {
background:#FFF;
color:teal;
font-style:italic;
}

.comment,#useful-links {
background:#FFFFF5;
color:#000;
border:navy thin solid;
padding:.7em;
}

.discuss {
color:blue;
background:#FF0;
}

.example {
padding-left:1em;
white-space:pre;
border:none;
}

.normative {
white-space:pre;
border:none;
background:#CCC;
color:#000;
padding:1em;
}

dl {
padding-left:1em;
}

.definition_table td.name {
border:1px solid #FFF;
background:#CCC;
color:#FFF;
white-space:nowrap;
margin:0;
padding:4px;
}

.definition_table td.value {
border:1px solid #FFF;
background:#EEE;
margin:0;
padding:4px;
}

.caveat {
color:#900;
font-size:small;
}

.toc-indent .toc-indent {
padding-left:1.5em;
}

.cols .left {
white-space:nowrap;
border-right:1px solid #DDD;
padding:0 16px 0 0;
}

.cols .right {
padding:0 0 0 16px;
}