body { margin-left: 20px; margin-right: 40px; margin-top: 20px; background-color: #ffffff }
pre  { font-family: "courier new", courier, mono; font-size: 14px; background-color:#dddddd; padding: 10px 15px 10px 15px; }
code { font-family: "courier new", courier, mono; font-size: 14px; }
tt   { font-family: "courier new", courier, mono; font-size: 14px; }

th { font-size: 14px; background-color: #555555; color:#ffffff; }
td { font-size: 14px; margin-top: 20px;}

ol li        { list-style: decimal;     }
ol ol li     { list-style: lower-alpha; }
ol ol ol li  { list-style: lower-roman; }

ul li          { list-style: disc;    }
ul ul li       { list-style: circle;  }
ul ul ul li    { list-style: square;  }
ul ul ul ul li { list-style: disc;    }

a         { text-decoration: none; }
a:active  { color: green; }
a:hover   { color: red; text-decoration: underline;  }

.alert { color: red; font-weight: bold; }
.strike { text-decoration: line-through; }

.nicetable th, .nicetable td {
   padding: 4px; 
   text-align: center;  
   border: 1px solid grey; 
   font-size: 16px
}
.nicetable {
   border-collapse: collapse;
}