/* line 1 */
body {
  margin: 0;
  padding: 2px;
  font-family: Times New Roman, Times, serif;
  background-color: white;
  color: black;
  line-height: 1.4;
}

/* line 9 */
h1 {
  font-family: Verdana, Arial, sans-serif;
  text-align: left;
}

/* line 13 */
li {
  list-style: square;
}

/* line 17 */
#copyright {
  font-size: 0.7em;
}

/* line 20 */
#footer {
  padding: 20px 0 0 0;
  font-size: 0.8em;
  clear: both;
}

/* line 25 */
.container {
  margin: 0;
  padding: 0;
}

/* line 29 */
a {
  text-decoration: none;
  font-style: italic;
  color: blue;
}

/* line 34 */
a:visited {
  color: navy;
}

/* line 37 */
img.demo {
  float: right;
}

/* line 40 */
span.code {
  font-family: monospace;
}

/* line 43 */
ul#related {
  display: none;
}

/* line 46 */
ul.navigation {
  display: none;
}