/* Style for screen display */

body {
	margin: 0px;
	padding: 0px;
}

a {
  color: #000000;
  text-decoration: none;
}

h1 {
  margin: 0px;
}

div.leftColumn {
  display: none;
}

div.footer {
  display: none;
}

div.code {
  background-color: #ffffff;
  border: solid 1px;
  font-family: monospace;
  padding: 5px;
  white-space: pre;
}


div.illustration {
  border: solid 1px #cccccc;
  font-size: smaller;
  float: right;
  margin: 1ex;
  padding: 1ex;
  text-align: center;
  width: 120px;
}

div.textbox {
  border: solid 1px #cccccc;
  float: left;
  margin: 1ex;
  padding: 1ex;
  text-align: left;
  width: 300px;
}

table {
  border: 0px;
  margin: 0px;
  padding: 0px;
  text-align: center;
}