div.banner 
{
    background-color: #000000;
    color: white;
    font-family: sans-serif;
    text-align: center;
    font-size: 48pt;
}

h2 { margin-bottom: 0px; }
h3 { margin-bottom: 0px; }
h4 { margin-bottom: 0px; }
h5 { margin-bottom: 0px; }

td.code
{
font-family: monospace;
}

p.code, pre.code, xmp.code
{
background: #f7f7f7;
border: 1px solid #d7d7d7;
margin: 1em 1.75em;
padding: .25em;
overflow: auto;
white-space: pre-wrap;
}

@media screen and (max-device-width: 480px)
{
  body
  {
    -webkit-text-size-adjust: none;
  }
}