body {
    color: #333333;
}
#page {
    width: 750px;
    padding: 10px;
    margin: auto;
}
#header {
    font-family: Arial;
    font-size: 28px;
    text-align: left;
    color: #4488BB;
    border-bottom: 2px solid #DDDDDD;
}
#menu {
    font-family: Arial;
    font-size: 13px;
    float: left;
    margin-left: 250px;
    text-align: right;
    padding-bottom: 5px;
    height: 20px;
    width: 500px;
}
#menu ul {
    list-style-type: none; padding: 0; margin: 0;
}
#menu li {
    display: inline; margin: 0; float:left;
}
#menu li a {
    padding: 5px 10px 0px 10px;
    display: block;
    text-decoration: none;
    color: #888888;
}
#menu li a:hover {
    text-decoration: none;
    color: #2255AA;
}
#menu li a#home:hover { border-top: 3px solid #FF5555; }
#menu li a#profile:hover { border-top: 3px solid #FF9955; }
#menu li a#publications:hover { border-top: 3px solid #FFDD77; }
#menu li a#research:hover { border-top: 3px solid #99FF55; }
#menu li a#talks:hover { border-top: 3px solid #00FFCC; }
#menu li a#resources:hover { border-top: 3px solid #5599FF; }
#menu li a#collection:hover { border-top: 3px solid #CC11BB; }

#main {
    margin: 50px 0px 0px 0px;
    padding: 10px 30px 20px 30px;
}
#content {
    padding: 0px;
    text-align: left;
}
.info {
    font-family: "Arial";
    font-size: 13px;
}
#footer {
    margin: 10px 0px 20px 0px;
    border-top: 2px solid #DDDDDD;
    padding-top: 5px;
    text-align: center;
    font-family: Arial;
    font-size: 13px;
}
a:link    {text-decoration: none; color: #333399; }
a:visited {text-decoration: none; color: #333399; }
a:active  {text-decoration: none; color: #333399; }
a:hover   {text-decoration: none; color: #CC3333; }
.picture {
    border: 1px solid #AAAAAA;
    margin: 0px 20px 20px 0px;
}
.intro {
    font-family: Arial;
    font-size: 13px;
    line-height: 18px;
}
.psubtitle {
    font-size:18px;
    color:#5588CC;
    border-left: 5px solid #5588CC;
    padding: 5px 5px 5px 10px;
    background-color: #FAFAFA;
    width: 98%;
    font-weight: bold;
}
.pitem {
    font-family: "Arial";
    font-size: 13px;
    color: #111111;
    text-indent: -30px;
    padding: 15px 5px 5px 70px;
}
.pitem2 {
    font-family: "Arial";
    font-size: 13px;
    color: #111111;
    padding: 15px 5px 5px 30px;
}
.picon {
    margin: 3px 3px -3px 0px;
}
li {
    font-family: "Arial";
    font-size: 13px;
}
.python-table {
    width: 650px;
    border: 1px #E3E3E3 solid;
    border-collapse: collapse;
    border-spacing: 0;
    margin: 20px 0px 20px 0px;
}
.python-table td {
    padding: 4px;
    border: 1px #E3E3E3 solid;
    border-width: 1px 0px 0px 1px;
}
.python-code {
    width: 400px;
    font-size: 12px;
    font-family: "Lucida Console", "Courier New";
}
.latex-table {
    width: 650px;
    border: 1px #E3E3E3 solid;
    border-collapse: collapse;
    border-spacing: 0;
    margin: 20px 0px 20px 0px;
}
.latex-table th {
    font-family: "Arial";
    font-size: 13px;
    vertical-align: top;
    padding: 3px;
    font-weight: bold;
    background-color: #FCFCFF;
    border: 1px #E3E3E3 solid;
    border-width: 0 0 1px 1px;
}
.latex-table td {
    font-family: "Arial";
    font-size: 13px;
    vertical-align: top;
    padding: 4px;
    border: 1px #E3E3E3 solid;
    border-width: 0px 0px 1px 1px;
}
td.code {
    padding: 8px;
    font-family: "Lucida Console", "Courier New";
    font-size: 12px;
}
.quote {
    padding: 10px 0px 20px 0px;
    font-family: "Times New Roman";
    font-style: italic;
    font-size: 16px;
}
.quotename {
    padding-top: 5px;
    width: 100%;
    text-align: right;
    font-family: Arial;
    font-style: normal;
    font-size: 13px;
}
pre {
    font-family: "Lucida Console", "Courier New";
    font-size: 11px;
    margin: 0px;
}
.comment-block{
    font-family: "Arial";
    font-size: 13px;
}
.comment-box {
    border: 1px solid #CCCCCC;
    margin: 10px 0px 20px 0px;
    width: 690px;
}
.comment-box-header {
    padding: 10px;
    width: 662px;
    background-color: #FAFAFF;
    border-left: 8px solid #AADDFF;
    border-bottom: 1px solid #DDDDDD;
}
.comment-box-text {
    padding: 10px;
    width: 668px;
}
.comment-input {
    width: 200px;
    border: 1px solid #AAAAAA;
    padding:3px;
}
.comment-area {
    width: 680px;
    height: 200px;
    border: 1px solid #AAAAAA;
    padding:3px;
}
.comment-button {
}
.matrix {
    border: 1px #A0A0A0 solid;
    border-collapse: collapse;
    border-spacing: 0;
    margin: 20px 0px 20px 0px;
}
.matrix td {
    padding: 4px;
    border: 1px #A0A0A0 solid;
    border-width: 1px 0px 0px 1px;
    font-family: "Verdana";
    font-size: 11px;
    text-align: center;
}
.subsubtitle {
    font-size:16px;
    color: #3C6100;
}