body {
  margin-left: 10%; 
  margin-right: 10%;
  background: #012aa6;
  color: #d8d514; 
  font-size: 16pt;
  font-weight: bold;
}

pre { font-family: monospace; }

h1,h2,h3,h4,h5,p,ul { font-family: sans-serif; }

td.bigrow { padding: 10px; }
td.bigsubrow { padding: 5px; font-size: 14pt; padding-left: 35px; }

:link { color: #d8d514; text-decoration: none; }  /* for unvisited links */
:visited { color: #d8d514; text-decoration: none; } /* for visited links */
a:active { color: red; text-decoration: none; font-size: 20} /* when link is clicked, doesn't work in firefox */
a:hover { color: red; } /* when mouse is over link */
