body {
 margin: 0 auto;
 padding: 0;
 font-family: Verdana, Arial, Helvetica, sans-serif;
}

div { margin: 0; padding: 0; border: 0; }

img { border: 0; }

p,h1,h2,h3,h4,h5,h6 {
 max-width: 60em;
}

p {
 line-height: 1.5em;
 margin-top: 0.25em;
 margin-bottom: 1em;
}

h1,h2,h3,h4,h5,h6 {
 margin-top: 0.5em;
 margin-bottom: 0.25em;
}

h1.page_title { margin-top: 0; }

em {
 font-style: normal;
 font-weight: bold;
}

strong { font-weight: bolder; }

td {
 border-top: thin solid black;
 border-left: thin solid black;
 padding: 0.25em;
}

th { font-weight: bold; }

dt { font-weight: bold; }
dd { margin-bottom: 0.5em; }

#skip_to_content { display: none; }

#top_section {
 background-color: black;
 color: white;
 padding: 0.5em;
}

#logo { float: left; }
#logo img {
 border: 3px solid white;
 border-radius: 3px;
}

#search {
 float: right;
 text-align: right;
}

.break_all_floats { clear: both; }

#nav {
 background-color: white;
 background-image: url('/static/gfx/gradient_bw.png');
 background-repeat: repeat-x;
 background-position: top left;
 color: black;
 padding: 0 0.5em 0 0.5em;
 font-family: Arial, Helvetica, sans-serif;
}

ul.menu {
 padding-left: 0;
 padding-right: 0;
 margin: 0;
 line-height: 2em;
}

li.section {
 display: inline;
 border-top: 1px solid #eee;
 border-right: 1px solid #aaa;
 border-bottom: 1px solid #aaa;
 border-left: 1px solid #eee;
 padding: 0.25em;
 background-color: #ddd;
 color: black;
}

li.section:hover {
 background-color: #ccc;
}

li.section:active {
 border-bottom: 1px solid #eee;
 border-left: 1px solid #aaa;
 border-top: 1px solid #aaa;
 border-right: 1px solid #eee;
} 

li.section a {
 text-decoration: none;
 font-weight: bold;
 color: black;
}

li.section a:visited {
 color: #333;
}

#page {
 background-color: white;
 color: black;
 padding: 0.5em;
}

#sidebar {
 float: right;
 width: 15em;
}

.cv a {
 text-decoration: none;
}

.cv dt {
 margin-top: 0.5em;
 font-weight: normal;
 border-bottom: thin solid grey;
}

.cv em {
 font-weight: normal;
 font-style: italic;
}

.cv strong {
 font-weight: bold;
}

.cv dd {
 margin-top: 0.25em;
 margin-bottom: 1em;
}

.cv dt, .cv dd, .cv p{
 max-width: 50em;
}

#github-badge {
 width: 25em;
 border: thin solid grey;
 padding: 0.5em;
}