body {
    background-color: white;
    background: url(img/sfondo2.jpg);
    font: 12px "Helvetica", "Tahoma", "Verdana", sans-serif;
}

p, span {
    font: 12px "Helvetica", "Tahoma", "Verdana", sans-serif;
    margin-bottom: 3px;
    margin-top: 3px;
}

.justified {
    text-align: justify;
}

ul, ol {
    margin-bottom: 10px;
    margin-top: 5px;
}

#page {
    width: 100%;
}

#head {
    background-color: white;
}

#menu {
    position: fixed; top: 90px; left: 8px;
    padding: 0px 0px 0px 0px;
    margin: 0px 0px 0px 0px;
}

#banners {
    text-align: right;
    margin-top: 80px;
}

div.menuItem a {
    display: block;
    font: 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    color: black;
    width: 130px;
    padding: 4px 0px 4px 8px;
    background: url(img/sfondo_menu.jpg);
    border-top: 1px solid #CCC;
    border-left: 1px solid #AAA;
    border-right: 1px solid #666;
    border-bottom: 1px solid #000;
    margin-bottom: 1px;
    text-decoration: none;
}

div.menuItem a:hover {
    color: #0000FF;
    font-style: italic;
    border-top: 1px solid #666;
    border-left: 1px solid #666;
    border-right: 1px solid #AAA;
    border-bottom: 1px solid #CCC;
}

#content {
    padding-left: 160px;
}

#content h1 {
    font: bold normal 22px "Helvetica", "Tahoma", "Verdana", sans-serif;
    color: #000AD6;
    text-align: left;
}

#content h2 {
    font: bold italic 18px "Helvetica", "Tahoma", "Verdana", sans-serif;
    color: #005AF6;
    padding-left: 16px;
    text-align: left;
    border-bottom: 1px solid #888;
    margin-bottom: 15px;
    margin-top: 10px;
}

#content h3 {
    font: bold normal 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    color: #005AF6;
/*    padding-left: 16px;*/
    text-align: left;
/*    border-bottom: 1px solid #888;*/
    margin-top: 16px;
    margin-bottom: 3px;
    margin-left: 5px;
}

div.newsHead {
    font: italic 16px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #C4EFA1;
    padding-left: 10px;
    padding-right: 10px;
    border-top: 1px solid #CCC;
    border-left: 1px solid #AAA;
    border-right: 1px solid #666;
}

div.newsContent {
    font: 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #E4ECEC;
    padding: 7px 10px 7px 10px;
    border-left: 1px solid #AAA;
    border-right: 1px solid #666;
    border-bottom: 1px solid #000;
    margin-bottom: 15px;
}

div.newsHead_little {
    font: italic 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #C4EFA1;
    padding-left: 10px;
    padding-right: 10px;
    border-top: 1px solid #CCC;
    border-left: 1px solid #AAA;
    border-right: 1px solid #666;
    margin-left: 5px;
}
div.newsContent_little {
    font: 12px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #E4ECEC;
    padding: 5px 8px 5px 8px;
    border-left: 1px solid #AAA;
    border-right: 1px solid #666;
    border-bottom: 1px solid #000;
    margin-bottom: 15px;
    margin-left: 5px;
}

div.milestone {
    background-color: #E4ECEC;
    border-top: 1px solid #CCC;
    border-left: 1px solid #AAA;
    border-right: 1px solid #666;
    border-bottom: 1px solid #000;
}
div.head {
    font: italic 20px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #C4EFA1;
    padding-left: 10px;
    padding-right: 10px;
}
div.statusHead {
    font: 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    text-align: right;
    background-color: #C4EFA1;
    margin-top: -12px;
    padding: 2px 2px 2px 2px;
}

div.task {
    font: 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #E4ECEC;
    padding: 7px 10px 0px 10px;
}
div.statusTask {
    font: 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #E4ECEC;        
    text-align: right;
    margin-top: -10px;
    border-bottom: 1px dotted #000;
    padding-bottom: 8px;
    padding-right: 2px;
}
div.statusLastTask {
    font: 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #E4ECEC;        
    text-align: right;
    margin-top: -10px;
    padding-bottom: 8px;
    padding-right: 2px;
}
div.task ul {
    font: 12px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #E4ECEC;
    list-style: none;
    margin-top: 0px;
    padding-left: 15px;
}

#piepagina {
    border-top: 2px solid #777;
    padding: 5px 5px 5px 5px;
    margin-top: 50px;
}

.logos {
    float: left;
    text-align: left;
}

.logos a,
.logos a:visited {
    font: italic 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    text-decoration: none;
}
.logos a:hover {
    color: red;
}

#menu div.logos {
	margin-top: 30px;
}
#menu div.logos a {
	display: block;
	text-align: center;
	padding-top: 6px;
	padding-bottom: 6px;
}

#copyright {
    float: right;
    text-align: right;
}

#copyright a,
#copyright a:visited {
    font: italic 14px "Helvetica", "Tahoma", "Verdana", sans-serif;
    text-decoration: none;
}
#copyright a:hover {
    color: red;
}

#copyright span,
#copyright p {
    font: 12px "Helvetica", "Tahoma", "Verdana", sans-serif;
    margin: 0px 0px 0px 0px;
}

#title {
    font: bold normal 22px "Helvetica", "Tahoma", "Verdana", sans-serif;
    color: #000AD6;
    text-align: center;
    margin-bottom: 20px;
}

/* ------- Stili per il TOC ------- */
#tocHead {
    font: italic 16px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #C4EFA1;
    padding-left: 10px;
    padding-right: 10px;
    border-top: 1px solid #CCC;
    border-left: 1px solid #AAA;
    border-right: 1px solid #666;
}

#tocContent {
    font: 12px "Helvetica", "Tahoma", "Verdana", sans-serif;
    background-color: #E4ECEC;
    padding: 4px 10px 4px 10px;
    border-left: 1px solid #AAA;
    border-right: 1px solid #666;
    border-bottom: 1px solid #000;
    margin-bottom: 15px;
}
#tocContent ul {
    list-style-type: none;    
}
#tocContent a,
#tocContent a:visited {
    color: black;
    text-decoration: none;
}
#tocContent a:hover {
    border-top: 1px solid #888;
    border-bottom: 1px solid #888;
}
#tocContent ul.level_one {
    padding: 0px 0px 0px 5px;
}
#tocContent ul.level_two {
    padding: 0px 0px 0px 15px;
}

/* ------- Stili per Codice C++ di esempio ------- */
div.code {
    background-color: #E4ECEC;
    padding: 4px 10px 4px 10px;
    border-left: 1px solid #AAA;
    border-right: 1px solid #666;
    border-top: 1px solid #CCC;
    border-bottom: 1px solid #000;
    margin-bottom: 15px;
    margin-top: 15px;
}
div.code pre,
div.code span,
div.code p {
    font-size: 10px;
    font-family: "SUSE Sans Mono", "Adobe Courier";
}
div.code span.keyword {
    font-weight: bold;
    color: #000000;
}
div.code span.datatype {
    color: #800000;
}
div.code span.decimal {
    color: #0000FF;
}
div.code span.octal {
    color: #008080;
}
div.code span.hex {
    color: #008080;
}
div.code span.float {
    color: #800080;
}
div.code span.char {
    color: #FF00FF;
}
div.code span.string {
    color: #DD0000;
}
div.code span.string_char {
    color: #FF00FF;
}
div.code span.preprocessor {
    color: #008000;
}
div.code span.comment {
    font-style: italic;
    color: #0000FF;
}