* { padding: 0; margin: 0; }
html { height: 101%; } /* forces scroll bars in firefox */

body {
     color: white;
     background-color: #8c8c8c;
     font-family: Verdana, Arial, Helvetica, sans-serif;
     font-size: small;
}

#wrapper {
    color: black;
    background-color: white;
    width: 800px;
    margin-top: 10px;
    margin-right: auto;
    margin-bottom: 10px;
    margin-left: auto;
}

#headsection {
    text-align: center;
    color: white;
    background-color: #12036f; /* dark blue */
}

#navisection {
    text-align: right;
    color: black;
    background: #ffe574;
    padding: 10px 10px 4px 10px;
    border-bottom: 1px solid #8c8c8c;
}

#navisection ul { margin-bottom: 0; }

#navisection li {
    display: inline;
    list-style-type: none;
    margin: 0;
}

#navisection a {
    color: black;
    background-color: #ffeda0;
    padding: 4px 8px;
    border: 1px solid #8c8c8c;
}

#navisection a:hover,
#navisection a:focus,
#indexpage #naviindex a,
#contactpage #navicontact a,
#downloadpage #navidownload a,
#simulationpage #navisimulation a {
    color: black;
    background-color: white;
    border-bottom-color: white;
}

#navisection a:active {
    color: black;
    background-color: white;
}

#logo {
    color: black;
    background-color: white;
}

h1 { font-size: 160%; }

h2 { font-size: 140%; }

h3 { 
    font-size: 130%; 
    margin-top: 1em;
}

h4 { 
    font-size:100%; 
    margin-top:0.5em;
}

h5 { 
    font-size:80%; 
    margin-top:0.3em;
}

#textsection {
    padding: 20px 10px 20px 20px;
}

#textsection a {
    border-bottom: 1px dotted #cc0000;
}

#textsection a:hover,
#textsection a:focus {
    border-bottom: 1px solid #d90000;
}

address {
	text-align: center;
	font-size: 80%;
	font-style: normal;
	letter-spacing: 2px;
	line-height: 1.5em;
}

a {
  text-decoration: none;
  outline: none;
}

a:link { color: #d90000; }

a:visited { color: #cc6666; }

a:hover, a:focus { border-bottom: 1px solid #d90000; }

a:active { 
	 color: white;
	 background-color: #d90000;
}

#footsection {
    padding: 10px 20px 20px 20px;
    border-top: 1px solid #8c8c8c;
    margin-top: 20px;
}

h2, p, ul, ol { margin-bottom: 1em; }

ul ul { margin-bottom: 0; }

li { 
    margin-left: 1em;
}

.skiplink {
    position: absolute;
    top: -10000px;
    left: -10000px;
    widht: 0px;
    height: 0px;
    overflow: hidden;
    display: inline;
}

.code{
    padding: 4px;
    margin-left: 0em;
    border:#ccc solid 1px;
    margin-top:0.5em;
    margin-bottom:0.5em;
    margin-right:1em;
    background-color: #ddd;
}