/* On large devices, use a slightly large margin and a maximum width. */
@media (min-device-width: 60em) {
  body {
    margin-bottom: 5em;
    margin-left: 5em;
    max-width: 45em;
  }
}

/* On smaller devices, skip margins. */
@media (max-device-width: 60em) {
  body {
    margin: 1em;
  }
}

body {
  font-size: 14pt;
  font-family: Roboto, "Helvetica Neue", Helvetica, Arial, sans-serif;
  color: #000;
  background-color: #fff;
}

/* Navigation bar. */
nav 
{
  padding-bottom: 1ex;
  max-width: none;
}

nav ul 
{
  padding: 0;
  margin-left: 0;
  list-style: none;
  max-width: none;  
}

nav ul li 
{
  display: inline;
  float: left;
  margin-right: 1em; /* How far between items. */
  margin-top: .2em;
  max-width: none;
}

nav ul li a 
{
  display: block;
  margin: 0;
}
/*
 * Use a border around tables, but don't draw lines around individual
 * cells.
 */
table 
{
  border-style: solid;
  border-collapse: collapse; 
  border-width: thin;
  font-size: 100%;
}

th, td 
{
  border-style: solid;
  border-width: thin;
}

/* for unvisited links: blue */
a:link
{
  color: rgb(0,0,239);
  text-decoration: none;
}

/* for visited links: purple */
a:visited
{
  color: rgb(81,24,142);
  text-decoration: none;
}

/* when mouse is over link or the link is active*/
a:hover, a:active
{
  text-decoration: underline;
}

/* Very clean ruler with no shadows. */
hr
{
  border: none;
  color: #000;
  height: 3px;
  background-color: #000;
}

h1, h2, h3, h4, h5 {
  color: #112;
}

pre, code {
  color: black;
  font-family: "Monaco", "Lucida Typewriter", monospace;
  font-size: 12pt;
}

img {
  border: 1px #222 solid;
  border-radius: 4px;
  max-width: 45em;
}