
h2 {
    font: 16pt Helvetica;
    color: #5574a7;
    letter-spacing: -1px;
    font-weight: bold;
}

h2.first {
    margin: 0px 0px 15px 0px;
}

#menubar {
    width: 300px;
    float: left;
    padding: 20px 20px 50px 20px;
}

#menubar h1 {
    color: #5574a7;
    font-size: 20pt;
}

#menubar .info {
    font: 14pt Helvetica;
    color: #222;
    font-weight: bold;
    margin: 10px 0px 10px 0px;
}

#menubar .info a {
    background: none;
    border: none;
    color: #666;
    font-size: 14pt;
    font-style: italic;
}

#menubar .info a:hover {
    border-bottom:2px dotted #222;
}

#menubar .contact {
    font: 12pt Helvetica;
    color: #222;
    font-weight: bold;
    margin: 50px 0px 10px 0px;
}

#menubar .contact a {
    font-size: 10pt;
    background: #222;
    color: #eee;
    border: 2px solid #222;
    border-radius: 5px;
    -moz-border-radius: 5px;
}

#menubar .contact a:hover {
    background: #eee;
    color: #222;
    border: 2px solid #222;
}

#menubar .address {
    font: 12pt Helvetica;
    color: #222;
    font-weight: normal;
    font-style: italic;
    margin: 50px 0px 10px 0px;
}

#content {
    margin: 0px 10% 0px 330px;
    padding: 20px;
}

#content p {
    margin: 20px 0px 0px 0px;
}

.framed {
    border: 2px solid #5574a7;
}

.pub {
    font-size: 12pt;
    padding: 10px 0px;
}

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

.pub .authors {
    font-size: 10pt;
}

.pub .venue {
    color: #444;
    font-size: 10pt;
}

.pub .misc {
    color: #777;
    font-size: 10pt;
}

.pub .files {
    font-size: 10pt;
    line-height: 26px;
}

span.down a {
    background: #222;
    color: #eee;
    border: 2px solid #222;
    border-radius:5px;
    -moz-border-radius:5px;
}

span.down a:hover {
    background: #eee;
    color: #222;
    border: 2px solid #222;
}

.photo-box img {
    /* height: 80%; */
    /* width: 80%; */
    padding: 10px 0px 0px 0px;
}
