body {

color: black;
background: white;
margin-left: 10%;
margin-right: 10%;

}

h1 {

color: white;
background: #08d;
width: 100%;

}

h1 a {

color: white;

}

h1 a:link { }

h1 a:visited {

color: white;

}

h1 a:hover { }

h2 {

width: 100%;
border: thin #0cc;
border-style: solid none;
background: #cff;

}

h3 {

width: 100%;
border: thin #0cc;
border-style: none none solid;
background: #eff;

}

h4 {

border: thin #0cc;
border-style: none none solid;

}

dt {

font-weight: bold;

}

dd {

margin-bottom: 3ex;

}

table {

border-collapse: collapse;
border: thin solid;

}

tr,th,td {

border: thin solid;
padding: 3px;

}

th {

background-color: #00ffff;

}

td {

background-color: #eeeeee;

}

div.intro {

margin-right: 10%;
margin-left: 10%;
font-size: 90%;

}

div.code {

margin-left: 10%;
color: white;
background: black;
border: thin inset;
padding: 4px;

}

div.code2 {

margin-left: 10%;
color: white;
background: darkgreen;
border: thin inset;
padding: 4px;

}

pre {

margin: 20px;
padding: 4px;
border: #363 inset;
color: #fff;
background: #232;
width: 80%;

}

a {

background: #eee;

}

a:link {

color: #008;

}

a:visited {

color: black;

}

a:hover {

background: #fcc;

}

.red {

color: red;

}

.notice {

font-weight: bold;
background: #f88;

}

.input {

font-weight:bold;

}