/* Version: Standard */

body {
margin: 1% 20%;
font-family: Verdana, Helvetica, Arial, sans-serif;
font-size: 100%;
background-color: #f1e2c3;
color: #000;
}

h1 {
font-family: Georgia, Verdana, Helvetica, Arial, sans-serif;
font-style: italic;
font-size: 150%;
letter-spacing: 1pt;
padding: 10px 0;
}

p {
font-size: 80%;
line-height: 150%;
}
a {
text-decoration: none;
background-color: transparent;
color: #600;
}
.nav a {
border-bottom: 1px solid #600;
}

code {
font-size: 120%;
background-color: transparent;
color: #993399;
}

#switcher ul {
list-style-type: none;
margin: 0;
padding: 0;
}
#switcher li {
display: inline;
border: 1px solid #e2bf87;
padding: 2px 10px;
}
#switcher li.aa {
font-weight: bold;
background-color: #e0d0b0;
color: #000;
}
#switcher li.aa a {
cursor: default;
}