BODY { margin: 0; font-family: verdana,helvetica,san-serif; }
BODY, TD { font-size: 12px; line-height: 17px }

A { text-decoration: underline; color: #880000}
A:hover { text-decoration: underline; } /* background-color: #BE1128; */

P {margin-top: 0px;margin-bottom: 0px;}

LI {margin-top: 5px; margin-bottom: 5px;}

.code {
  font-size: 10px;
  background-color: #DECBB5;
  padding: 4px;
  margin: 4px;
  border: 1px solid;
/*  font-weight: bold; */
  color: #004400;
/*  font-family: monospace; */
}

.highlight {
  color: #880000;
}

.csc-header H1 { font-size: 15px; }
.csc-header-n1 H1 {font-size: 15px;margin-top: 10px; margin-bottom: 20px}
.csc-header-n2 H1 {font-size: 15px;margin-top: 10px; margin-bottom: 20px}
/* .csc-firstHeader {font-size: 15px;} */
.csc-caption { font-size: 10px; }

.tx_mitdownload-categoryTitle {margin-bottom: 12;}
.tx_mitdownload-fileDescription { font-style: italic; }

.sub-menu0 A { font-size: 13px; font-weight: bold; margin-top: 4px;margin-bottom: 4px;}
.sub-menu0 .nor A { text-decoration: none; color: black; }
.sub-menu0 .nor A:hover { text-decoration: none; }
.sub-menu0 .act A { text-decoration: none; color: #880000; }
.sub-menu0 .act A:hover { font-weight: bold; text-decoration: none; }

.sub-menu1 { line-height: 14px; font-size: 10px; }
.sub-menu1 .nor A { text-decoration: none; color: black;}
.sub-menu1 .nor A:hover { text-decoration: underline;}
.sub-menu1 .act A { text-decoration: none; color: #880000; }
.sub-menu1 .act A:hover { text-decoration: underline; }

.content TD A { text-decoration: underline; }