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;
}

.collapsible {
  background-color: #f7f7f7;
  cursor: pointer;
  padding: 10px;
  width: 100%;
  border: 1px solid;
  text-align: left;
  outline: none;
  font-size: 15px;
  margin:5px;
  border-radius: 10px;
}

.active, .collapsible:hover {
  background-color: #cccccc;
}

.collapsible:after {
  content: '\002B';
  font-weight: bold;
  float: right;
  margin-left: 5px;
}

.active:after {
  content: "\2212";
}

.content {
  padding: 0 10px;
  max-height: 0;
  overflow: hidden;
  transition: max-height 0.2s ease-out;
  background-color: #fff;
  border:1px solid #f1f1f1;
  border-radius: 10px;
  width: 98%;
  margin:5px;
}

pre code {
  background-color: #eee;
  border: 1px solid #999;
  display: block;
  padding: 10px;
  padding-left:30px;
  margin-bottom:-40px;
}