body{
    height: 101%;
    background-color:#999;/*#cfd0d0;*/
    margin: 0;
    font-family: 'PT Sans', Shanti, Verdana, sans-serif;
    font-size: 110%;
}
pre {
        font-size:60%;
        border: 1px dashed black;
        -moz-border-radius:10px;
}
img {
    display:block;
    border: none;
}
p {
    text-indent: 2em;
}

.noindent{
    text-indent: 0;
}
.noindent img {
    display:inline;
}
div.header img {
    display: block;
}
.meaningofpolybori{
    font-size:1.3em;
    margin-left:2em;
}
div.menu {
    margin-top:4em;
    margin-left:0;
    margin-right:30px;
    margin-bottom:30px;
    border: 1px dashed black;
    float:left;
    background-color:white;
    border-top-right-radius: 12px;
    border-bottom-right-radius: 12px;
}
div.menu li{

    
    
}
div.menu li:first-child a{
    border-top-right-radius: 12px;
    
    
    
}
div.altnav {
    max-width:54em;
    text-align: right;
    float:right;
    padding-right:1em;
}
ul.literature{
    list-style:none;
}
ul.literature li{
    margin-top:1em;
    padding-top:1em;
    text-indent:2em;
    border-top:1px dashed #333;
}
ul.literature li:first-child{
    border-top:none;
}
.date {
    border: 1px dashed #333;
}
div.menu a{
    border-top:1px dashed #333;
    display:block;
    padding-left:10px;
    padding-right:20px;
    margin:0;

}
div.menu li:first-child a{
    border-top:none;
    display:block;
    padding-left:10px;
    padding-right:20px;
    margin:0;
}

.inline{
    display:inline;
}
div.menu li:first-child{
    border-top:none;
    
}
div.clear{
    clear:both;
}
/*div.header-left{
    float:left;
    padding:0;
    margin:0;
}*/

div.header{
    background-color:#cfd0d0;
    padding-bottom:20px;
    border-bottom: 1px dashed black;
    border-right: 1px dashed black;
    max-width:57em;
    -moz-border-radius-bottomright:20px;
}
div.menu ul {
    padding: 0;

    margin: 0;

    list-style: none;
    
}
div.menu a:link, div.menu a:visited{
    color:black;
}
div.menu a:link.current, div.menu a:visited.current{
    background-color:black; color:white;
}
div.menu a:focus, div.menu a:hover, div.menu a:active, div.menu a:focus.current, div.menu a:hover.current, div.menu a:active.current { 
    background-color:red; color:white; 
}
div.content{
    margin-top: 2em;
    margin-left:2em;
    background: white;
    max-width:49em;
    border: 1px dashed black;
    padding: 1em;
    -moz-border-radius:20px;
}
div.contact{ 
    margin-top: 2em;
    margin-left:2em;
    margin-bottom: 2em;
    border: 1px dashed black;
    background: white;
    max-width:49em;
    padding: 1em;
    -moz-border-radius:20px;
    }
    
.then{
    color:red;
}
.else{
    color:blue;
}

.formula {
    font-style: italic;
}
img.highlight-path-sequence{
    border: 1px dotted black;
    margin-right:1em;
    display:inline;
    margin-bottom:1em;
}