html {
  height: 100%;
}
body {
  background-color: white;
  margin: 0px;
  border: 0px;
  padding: 0em 0.5em 0.5em 0.5em;
}
body#index {
  padding-bottom: 0px;
  border-bottom: 0px;
  margin-bottom: 0px;
  height: 100%;
  background-image: url(santorini_cropped_compressed.jpg);
  -webkit-background-size: cover;
  -moz-background-size: cover;
  -o-background-size: cover;
  background-size: cover;
  background-repeat: no-repeat;
  background-position: top;
}
ul {
  margin: 0em;
}
ol {
  margin: 0em;
}
table {
  border: 0em;
}
td {
  vertical-align: top;
}
th {
  vertical-align: top;
  font-weight: bold;
}
div#menu {
  margin-top: 0px;
  padding-top: 0.5em;
}
a.selected {
  color: black;
  font-size: 120%;
}
div#menu > div#name {
  font-weight: bold;
  float: left;
}
div#menu ul {
  margin-top: 0px;
  list-style-type: none;
  padding-left: 0px;
}
div#menu li {
  margin-top: 0px;
}
div#menu > ul > li {
  margin-top: 0px;
  margin-bottom: 0.5em;
  float: left;
  padding-left: 2em;
}
div#menu > ul > li > a {
  font-weight: bold;
}
div#menu > ul > li > ul {
  padding-left: 0px;
}
div#secondMenu {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
img#contact {
  padding-top: 0.1em;
}
div#content {
  clear: both;
  padding-top: 0.5em;
  border-top-style: solid;
  border-top-color: black;
  border-top-width: 1px;
}
body#index div#content {
  border-top-style: none;
  float: left;
  padding-top: 0px;
  padding-left: .5em;
  padding-right: .5em;
  max-width: 47%;
  background-color: white;
  background-color: rgba(255,255,255,.7);
}
body#index div#content p {
  margin-top: .5em;
  margin-bottom: .5em;
}
body#index div#content dl {
  margin-top: 0px;
  margin-bottom: 0.5em;
}
body#index div#content dt {
  float: left;
  clear: left;
  font-weight: bold;
}
div.footnote {
  padding-top: 1em;
  border-top-width: 1px;
  border-top-style: solid;
  border-top-color: #000;
}
#professional_index #interests {
  margin: 0em;
  border: 0em;
}
#professional_index span.conference {
  font-style: italic;
}
div.footnote dt {
  float: left;
  clear: left;
}
div.footnote dd {
  padding-bottom: 0.75em;
}

#professional_nsf_2009 h1 {
  text-align: center;
}
#professional_nsf_2009 h2 {
  text-align: center;
}
#professional_nsf_2009 #question {
  font-style: italic;
  border: thin dotted black;
  text-align: center;
}

th.leftHeader {
  text-align: right;
  white-space: nowrap;
  padding-right: 1em;
}
#personal_pics_signage_index th.leftHeader {
  white-space: normal;
}
.leftSub {
  text-align: right;
  font-weight: normal;
}
.fileType {
  white-space: nowrap;
}
.quoteAttribution {
  font-weight: normal;
}

.title {
  font-weight: bold;
}
.textTitle {
  font-weight: bold;
}

div.pic {
  float: left;
  width: 280px;
  height: 210px;
}
#videoSep {
  clear: both;
  padding-top: 1em;
  padding-bottom: 0px;
  margin-bottom: 0px;
}
#picEnd {
  clear: both;
}
div.video {
  float: left;
  text-align: center;
  width: 330px;
  height: 250px;
  padding-bottom: 2em;
}
div.picCover {
  float: left;
  text-align: center;
  width: 280px;
  height: 210px;
  padding-bottom: 2em;
}
div.picCaption, div.videoCaption {
  height: 2em;
}
img.pic{
  display: block;
  margin-left: auto;
  margin-right: auto;
}
video.thumb {
  display: block;
  margin-left: auto;
  margin-right: auto;
}
span.codename {
  font-weight: bold;
}
li.compile {
  margin-bottom: 1em;
}
div.listing {
  background-color: #ddf;
}
div.answerHidden {
  display: none;
}
div.answerShown {
  display: block;
}
span.answerYes {
  background-color: #0f0;
}
span.answerNo {
  background-color: #f00;
}
span.preprocessor { color: #a020f0; }
span.literal { color: #f0f; }
span.oneChar { color: #6a5acd; }
span.control { color: #a52a2a; font-weight: bold; }
span.keyword { color: #2e8b57; font-weight: bold; }

#photo {
  float: right;
  text-align: center;
}
#code_kenlm_index #photo {
  max-width: 282px;
}
#professional_index #photo {
  float: left;
  margin-right: 1em;
	margin-bottom: 1em;
}
#professional_index div#papers {
  clear: both;
}
#professional_index div#papers img.employer {
  display: block;
  margin-left: auto;
  margin-right: auto;
  padding-bottom: 0px;
  margin-bottom: 0px;
  border-bottom: 0px;
  margin-top: 1em;
}
#professional_index div#papers dl {
  padding-top: 0px;
  margin-top: 0px;
  border-top: 0px;
}
#professional_index div#reports .affiliation {
  display: block;
  float: right;
  text-align: center;
}
#professional_index div#reports h2 {
  clear: both;
}
#kludgenet_xkcd {
  float: right;
}

@media print {
  div#crubs {
    display: none;
  }
  div#menu {
    display: none;
  }
  img#contact {
    display: none;
  }
  div#content {
    border-top: none;
    padding: 0em;
  }
}