body {
  margin: 0px auto 0px auto;
  font-family: "Helvetica", sans-serif;
  line-height: 1.5em;
}

.clear {
    clear: both;
}

.alert {
    border: 4px dashed #FFE603;
    padding: 0px 10px;
    margin: 10px;
}

@media (max-width: 799px) {
    h3, p {
        display: block;
    margin-left: 10px;
    margin-right: 10px;
  }
    .pubs strong {
        display: block;
        margin-left: 10px;
        margin-right: 10px;
    }
}

@media (min-width: 800px) {
  body {
    width: 750px;
  }
}

h1,h2,h3,h4,h5,h6 {
    font-weight: normal;
}

h3 {
    font-size: 1em;
    border-bottom: 1px dashed #ccc;
    clear: both;
}

h4 {
    font-weight: bold;
}

a {
    text-decoration: underline;
    color: #900;
}

a:hover {
    text-decoration: wavy underline;
}

strong {
    color: #222;
}

a strong {
    color: #900;
}

div.desc {
    padding-left: 20px;
    margin-bottom: 15px;
}

div#navigation {
    padding: 10px 0px;
    border-bottom: 1px solid #ccc;
}


div#navigation .t {
    margin: 0px;
    padding: 3px 4px;
    color: #000;
}

div#navigation .b {
    font-weight: bold;
}

@media (max-width: 799px) {
  div#navigation .t:first-child {
    border-bottom: 1px solid #ccc;
    padding-bottom: 8px;
    margin-bottom: 8px;
  }
  div#navigation .t {
    display: block;
    text-align: center;
  }
  div#navigation .h {
    display: none;
  }
}

div#footer {
    margin: 10px 0px;
    padding: 10px;
    border-top: 1px solid #ccc;
    font-size: 14px;
}


pre {
    padding: 5px;
    margin: 15px;
}

code, pre {
  background-color: #eee;
  overflow-x: auto;
}

.bio {
    margin-top: 10px;
    margin-left: 20px;
    margin-right: 20px;
    margin-bottom: 20px;
    width: 150px;
}

.imgr {
    height: 150px;
    overflow: hidden;
    text-align: center;
    border: 4px solid #ccc;
    border-radius: 75px;
}

@media (min-width: 800px) {
    .bio {
        float: right;
    }
}

@media (max-width: 799px) {
    .bio {
    margin: 10px auto;
    }
}


img {
    width: 50%;
    padding-right: 10px;
    padding-bottom: 10px;
    float: left;
}

.imgr img {
    width: 100%;
    height: 100%;
}


.bio .credit {
    font-size: 0.8em;
    color: #ccc;
    text-align: center;
}


table {
    border-collapse: collapse;
    width: 95%;
    margin: 0 auto;
}

table tr.header {
    text-align: left;
    background-color: #efefef;
}

table th {
    color: #555;
}

table td, table th {
    padding: 5px;
    vertical-align: top;
}

tr:nth-child(even){
    background-color: #f2f2f2
}

blockquote {
    border-left: 7px solid #900;
    padding: 5px;
    padding-left: 10px;
    margin-left: 15px;
    background-color: #efefef;
}

pre {
    border-left: 7px solid gray;
    padding-left: 10px;
    margin-left: 10px;
}

blockquote p {
    padding: 0;
    margin: 0;
}


ul.menu {
    list-style-type: none;
    padding: 0;
}

ul.menu li {
    display: inline-block;
    padding: 0;
    border-bottom: 1px solid #900;
}

ul.menu a {
    display: block;
    padding: 0 10px;
}

ul.menu a:hover {
    text-decoration: none;
    background-color: #efefef;
}

ul.menu li.cur a {
    background-color: #efefef;
}