body { 
  font-family: verdana, Arial, sans-serif;
  margin-left: 5px;
  color: black;
  background-color: #FFFFED; }

.blueline {
  background-color: #0071FF;
  height: 0.3em; }

.orange {
  color: #9a2721; }

a:hover {
  color: red; }

pre { 
  font-family: monospace; }

.box { 
  border-left: ;
  border-right: solid;
  border-top: ;
  border-bottom: solid;
  border-left-width: ;
  border-right-width: thin;
  border-top-width: ;
  border-bottom-width: thin;
  border-color: grey; 
  background-color: silver; }