body {
    font-size: 150%;
    font-weight: normal;
    counter-reset: h3counter;
    counter-reset: h4counter;
    margin: 0px;
}

samp {
    font-family: "Courier New", monospace;
}

code {
    font-family: "Courier", monospace;
}


.navbar {
	border-radius: 0px;
}

.page-header {
	padding-bottom: 0px;
	margin: 0px 0 20px;
	border-bottom: 2px solid #eee;
}

.in {
    margin-left: 30px;
}

.uncrowded{
    margin-top: 10px;
    margin-bottom: 10px;
}

.crowded{
    margin-top: 0;
    margin-bottom: 0;
}

h1 {
    text-align: center;
    margin: 30px 0 40px 0;
    line-height: 1.8;
    font-size: 2.5em;
    font-weight: normal;
}

h2 {
    text-align: left;
    color: gray;
    font-size: 2em;
    line-height: 1.25;
    font-weight: normal;
    margin: 40px 0;
    counter-reset: h3counter;
}

h3 {
    text-align: left;
    color: gray;
    font-size: 1.8em;
    font-weight: normal;
    margin: 45px 0 30px 0;
    counter-reset: h4counter;
}

h3:before {
    content: counter(h3counter) ".\0000a0\0000a0";
    counter-increment: h3counter;
    counter-reset: h4counter;
}

h4 {
    text-align: left;
    color: gray;
    font-size: 1.5em;
    font-weight: normal;
    margin: 45px 0 30px 0;
}

h4:before {
    content: counter(h3counter) "." counter(h4counter) ".\0000a0\0000a0";
    counter-increment: h4counter;
}

.sub {
    margin-left: 25px; 
}

.nocount:before{
    content: none;
    counter-increment: none;
}

.sub:before{
    content: none;
    counter-increment: none;
}

pre {
    text-align: left;
    font-size: 1em; 
    margin: 10px 15px 10px 0px;
    padding: 10px 15px;
}

p {
    text-align: justify;
    font-size: 1em;
    margin: 0px 15px 10px 0px;
}

.flush { margin-left: 0;}
.flushZero {margin-left: 0;
	    padding-left: 0;
	   }

p.lastMod {
    color: lightgrey;
    text-align: center;
    margin: 10px 0px;
}

p.lead {
    font-size: 1.5em;
    margin-left: 0;
    text-align: center;
}

ul, ol {
    margin-left: 0px;
    text-align: left;
}

li {
    margin-bottom: 10px;
}

.zero-bottom-margin {
    margin-bottom: 0px;
}

.pad {
    margin-bottom: 10px;
}

h2.week {
    color: grey;
    font-size: 1.5em;
    font-weight: normal;	
}

#toc_container {
    background: #e7e7e7 none repeat scroll 0 0;
    border: none;
    border-radius: 10px;
    display: table;
    font-size: 1em;
    margin-bottom: 10px;
    margin-left: 0;
    padding: 20px;
    width: auto;
}

.toc_title {
    font-size: 1.25em;
    font-weight: normal;
    text-align: center;
    margin-left: 0;
}

#toc_container li, #toc_container ol, #toc_container ol li{
    list-style-position: outside;
    margin: 10px;
    margin-left: 20px;
    padding: 0;
}

#toc_container ul, #toc_container ul li{
    list-style-position: outside;
    list-style-type: circle;
    margin: 0 15px 10px 30px;
    padding: 0;
}

hr {
    color: lightgray;
}

table {
    margin: 10px 15px;
    margin-left: 0px;
}

td {
    padding-left: 30px;
    padding-bottom: 10px;
}

td p {
    margin: 0 0 10px 0;
    padding: 0;
}

table.thTopLeft th {
    valign: top;
    text-align: left;
}

li p{
    margin-left: 0;
    padding: 0;
}

li pre {
    margin-left: 15px;
}


#tip_container {
    background: lightgray none repeat scroll 0 0;
    border: 5px outset dimgray;
    border-radius: 10px;
    display: table;
    font-size: 1em;
    margin: 30px;
    padding: 15px;
    width: auto;
}

.tip_title {
    font-size: 1.25em;
    font-weight: bold;
    text-align: center;
    margin-left: 0;
}

.tip_title:before{
    content:"Pro Tip: ";
}