.clearfix:after {
visibility: hidden;
display: block;
font-size: 0;
content: " ";
clear: both;
height: 0;
}
.clearfix {
display: inline-block;
}
* html .clearfix {
height: 1%;
}
.clearfix {
display: block;
}

body {
text-align: center;
font-family: Frutiger, "Frutiger Linotype", Univers, Calibri, "Gill Sans", "Gill Sans MT", "Myriad Pro", Myriad, "DejaVu Sans Condensed", "Liberation Sans", "Nimbus Sans L", Tahoma, Geneva, "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 0.93em;
background-color: #f5f5f5;
}

a:link, a:visited, a:active, a:hover {
color: #0000b0;
}

.intro {
width: 74%;
margin-left: 20%;
margin-right: auto;
}

div.announce {
font-size: 1.1em;
font-style: italic;
color: #8fbc8f;
}

div.hd {
text-align: left;
width: 60%;
margin: 10px auto 10px 20%;
clear: both;
}

h1 {
font-family: Impact, Haettenschweiler, "Franklin Gothic Bold", Charcoal, "Helvetica Inserat", "Bitstream Vera Sans Bold", "Arial Black", sans-serif;
font-size: 1.6em;
color: #87ceeb;
text-align: center;
outline-style: none;
}

h2, h3, h4, h5, h6 {
font-family: Corbel, "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", "DejaVu Sans", "Bitstream Vera Sans", "Liberation Sans", Verdana, "Verdana Ref", sans-serif;
font-size: 1.4em;
color: #f5f5f5;
background-color: #000000;
border: solid thin #000099;
font-weight: bold;
margin: 20px 20px 20px 20%;
padding: 10px 0px;
text-align: center;
width: 200px;
border-radius: 10px;
-moz-border-radius: 10px;
-webkit-border-radius: 10px;
-khtml-border-radius: 10px;
outline-style: none;
overflow: hidden;
}

.tal {
text-align: left;
}

.tac {
text-align: center;
}

code {
margin-left: 10%;
color: #191970;
font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
border: solid thin black;
}


.view {
position: absolute;
width: 0px;
height: 321px;
overflow: hidden;
z-index: 1;
}

.slider {
width: 428px;
}

.slider > div {
float: left;
}

.slider, .slider div {
height: 30px;
}

.slider span {
position: relative;
top: 5px;
}

.min, .max {
width: 40px;
background-color: #000;
color: #f5f5f5;
}

.slide {
width: 348px;
border-top: solid thin black;
border-bottom: solid thin black;
}

.slide > div.nub {
width: 30px;
height: 30px;
background-color: #000;
color: #f5f5f5;
cursor: pointer;
}

.slide > div.nub:focus {
outline: red 2px inset;
}

.slider2 {
clear: left;
}

.slider2 {
float: left;
width: 40px;
height: 460px;
}

.slider2 span {
position: relative;
top: 5px;
}

.min2, .max2 {
height: 30px;
width: 40px;
background-color: #000;
color: #f5f5f5;
}

.slide2 {
height: 400px;
width: 40px;
border-left: solid thin black;
border-right: solid thin black;
}

.slide2 > div.nub2 {
width: 40px;
height: 46px;
background-color: #000;
color: #f5f5f5;
cursor: pointer;
}

.slide2 > div.nub:focus {
outline: red 2px inset;
}

.inst {
float: left;
width: 40%;
height: 460px;
border: solid thin black;
overflow: auto;
margin-left: 10%;
}

.inst p, .inst li {
margin: 10px 0px;
}