a {
 text-decoration: none;
 color: rgb(41, 116, 151);
}

a:hover, a:focus {
 text-decoration: underline;
}

html, body {
 font-family: sans-serif;
 font-size: 1em;
 line-height: 1.6;
}

h1 {
 font-size: 1.8em;
}


h2 {
 font-size: 1.5em;
}


h3 {
 font-size: 1.2em;
}


h1, h2 {
 font-weight: normal;
 margin: 0;
 padding-top: .5em;
 padding-bottom: .17em;
 border-bottom: 1px solid #aaa;
}

pre {
 display: block;
 width: 50%;
 padding: 1em;
 margin: 1em 0px;
 white-space: pre-wrap;
 font-family: monospace,Courier;
 font-size: 1em;
 line-height: 1.3em;
 color: black;
 background-color: #efefef;
 border: 1px solid #777;
 tab-size: 4;
}