body{ background: #CCCCCC; }

div.container{
 font-size: 14px;
 font-family: verdana;
 width: 800px;
 display: table;
 text-align: justify;
 margin-left: auto;
 margin-right: auto;
 border-style: solid;
 border-color: gray;
 border-width: 4px;
 padding: 10px 10px 10px 10px;
 background: white;
}

div.top-container{ overflow: auto; }

div.title{
 font-size: 55px;
 font-weight: bold;
 padding: 15px 15px;
}

div.abstract{ }
div.content{ margin: 15px 0px 15px 0px; }

ol.pub{
 margin: 5px 10px 0px 10px;
 padding: 0px 5px 0px 5px;
 list-style: decimal inside
}

span.topic{
 display: block;
 font-weight: bold;
}

div.code{
 margin: 5px 5px 5px 5px;
 padding: 5px 5px 5px 5px;
 font-family: monospace;
 border-style: dashed;
 border-width: 1px;
 white-space: pre-wrap;
}

span.comment{ color: green; }
span.error{ color: red; font-weight: bold; }
span.reserved{ font-weight: bold; color: #000088;}

/* NEWS */

div.news{
 font-size: 12px;
 padding: 15px 15px;
}

span.text{
}

span.date{
 font-weight: bold;
}

span.date:after {
  content: " - ";
}

img{
 text-align: center;
 display:block; 
 margin-left:auto; 
 margin-right:auto;
 float: right;
 padding: 5px 5px 10px 10px;
}

div.example{
 padding: 10px 10px 10px 10px;
}

/* DOWNLOAD */

a{
 font-size: 11px;
 font-weight: bold;
 cursor: pointer;
 text-decoration: none;
 color: black;
}

a:hover{ background: #cccccc; }
a:visited { }


a.download{
 font-size: 18px;
 padding: 10px 10px;
 margin: 10px 150px;
 text-align: center;
 border-style: solid;
 border-color: black;
 border-width: 1px;
 display: block;
}

a.download:hover{ background: #cccccc; }
a.download:visited { }

span.download-tiny{
 display: block;
 font-size: 12px;
}

div.footer{
 font-size: 10px;
 text-align: center;
}