body{
    padding:5px;
    font-family: "Open Sans", "Lucida Sans", "Trebuchet MS", Verdana, Arial, Sans-Serif;
}

.nav{
    width:1000px;
    background-color: #016ca2;
    margin-left: auto;
    margin-right: auto;
    padding:5px;
    padding-left:15px;
    color:#FFF;
    font-size: 1.5em;
    margin-bottom:20px;
    height:40px;
    text-align: center;
}

.nav a{
    color:#FFF;
    text-decoration: none;
}

.head{
    width:1000px;
    margin-left: auto;
    margin-right: auto;
}

.head #title{
    width:100%;
    text-align: center;
    font-size: 1.5em;
    font-weight: bold;
    margin-bottom: 10px;
}

.head .nav ul {
    list-style-type: none;
    margin: 0;
    padding:0;
    padding-top:4px;
}

.head .nav ul li {
    display: inline;
    margin:8px;
    font-weight: bold;
    font-size: 15px;
}

.head .nav ul li a:hover{
    color:#FFACAF;
}

.cont{
    width:1000px;
    margin-left: auto;
    margin-right: auto;
}

.cont #abstract{
    width:100%;
    font-size: small;
}
.cont #authors{
    margin-top:10px;
    margin-bottom:20px;
    font-size: 10px;
    font-style: italic;
}

.cont #demonstration{
    width:100%;
    font-size: small;
}

.cont .section{
    width:1000px;
    margin-left: auto;
    margin-right: auto;
    margin-top:10px;
    font-size:0.9em;
}

.lst {
    background:#016ca2 url(/image/gutter.gif) 2.3em 0 repeat-y;
    overflow:auto;
    font-family:"Courier New",Courier,mono;
    margin:5px;
    padding:0.3em 0.3em 0.3em 2.8em;
    color:#fff;
    width:90%;
}
.lst li {
    background:#ffc;
    font-size:small;
    padding-left:5px;
}
.lst li code {
    color:#000;
    font-size: 1.2em;
}

.cont .footer{
    font-size:0.7em;
    border-top:1px solid #9a9a9a;
    padding:2px;
}