h1 { font-size: 30px; }
h2 { font-size: 20px; }
h3 { font-size: 16px; }
h4 { font-size: 12px; font-style: bold;}
dt { font-style: italic; }

body {
  background: #888888;
}

div.stitle{
        padding-bottom: 2px;
        border-bottom: 1px solid #808080;
        font-size: 120%;
        text-align: left;
        font-weight: bold;
        clear: both;
}

pre {
	width: 85%;
        border: solid #444444 1px;
        background-color: #e5e5e5;
        padding-left: 20px;
        padding-right: 10px;
        padding-top: 10px;
        padding-bottom: 10px;
        margin-top: 20px;
	margin-right: 3%;
	margin-left: 3%;
        text-align: left;
        font-family: Courier, MS Courier New, Prestige, Everson Mono;
}

div#title {
  background: #dddddd;
  border: medium solid #444444;
  padding-top: 25px;
  padding-bottom: 25px;
  line-height: 2;
  color: #666666;
  font-size: 40px;
  font-weight: bold;
  text-align: center;
}

div#sheet {
  background: #f5f5f5;
  text-align: justify;
  padding: 50px;
  margin-left: 3%;
  margin-right: 3%;
}