* {
    font-family : monospace ;
    color : black ;
    font-size : 0.99em ;
    font-size : 16px ;

    font-weight : normal ;
}

h2 { 
     font-size: 18px ;
}

body {
    background-color : #B4BFFF ;
    background : #FFFFFF url("pics/bg.jpg") ;

    
    margin-right : 0px ;
    margin-left : 0px ;
    
    text-align : center ;
    padding-top : 1px ;
    padding-bottom : 1px ;
    
}

div#root {
    background-color : #FFFFFF ;
    background-image : url("pics/NetBSD-old.jpg") ; 
    background-repeat : no-repeat ;
    background-attachment : fixed ;
    background-position : center ;
    height : 98% ;
    overflow-x: hidden;
}



div#navbar {
    height : 1.2em ;
    background-color : #F4F4F4 ; 
    text-align : center ;

    border-style : solid ;
    border-size : thin ;
    border-top : 1px solid black ;
    border-bottom : 1px solid black ;
    border-right : 1px solid black ;
    border-left : 1px solid black ;
}
a.navbar {
    padding-right : 5px ;
    padding-left : 5px ;
    text-decoration : none ;
    color : black ;
    font-style: italic ;
}

div#main {
    text-align : left ;
    background-color : #F4F4F4 ;
    width : 100% ; ; 
    height : 30% ;
    margin-top : 0px ;
    margin-bottom : 1px ;

    filter:alpha(opacity=90);
    -moz-opacity:0.90;
    -khtml-opacity: 0.90;
    opacity: 0.90;
}

div#scritti {
    text-align : left ;
    background-color : #F4F4F4 ;
    width : 100% ;
    height : 66% ;
    
    margin-top : 1px ;
    margin-bottom : 0px ;


    filter:alpha(opacity=90);
    -moz-opacity:0.90;
    -khtml-opacity: 0.90;
    opacity: 0.90;
}

div#projects {
    text-align: left ;
    background-color : #F4F4F4 ;
    width : 100% ; 
    height : 100% ;
    float : left ;
    
    filter:alpha(opacity=70);
    -moz-opacity:0.90;
    -khtml-opacity: 0.90;
    opacity: 0.90;
    
}

#antipixels {
    clear : both ;
    background-color : #F4F4F4 ;
    width : 90% ;
    text-align : center ;
    height : 30px ;
    border-style : none ;
    margin-right : 50px ;
    margin-left : 50px ;
    padding : 2px ;
    
}

.title {
    color : black ;
    text-align : center ;
    font-style : italic ;
    font-size : 1.5em ;
}

*.text {
    font-style : italic ;
    text-alignment : left  ;
    color : black ;
}

li {
    font-style : italic ;
    text-alignment : left  ;
    color : #8D1907 ;
    color : black ;
}

div#content {
    text-align: left ;
    background-color : #F4F4F4 ;
    margin : 3% 5% 3% 5% ;
    width : 90% ; 
    filter:alpha(opacity=90);
    -moz-opacity:0.90;
    -khtml-opacity: 0.90;
    opacity: 0.90;
}

.alert {
    color : red ;
/*    font-weight : bold ;*/
}

div#postamble * {
    font-size : 0.75em ;
    color : black ;
}

#table-of-contents {
  float: center;
  text-align: center; 
}
#table-of-contents ul {
    float: center;
    text-align: center;
    display: inline;
    margin: 2em;
    padding: 2em; 
}

#table-of-contents ul li {
      float: center;
      text-align: center;
      list-style-type: none;
      display: inline; 
}

#table-of-contents ul li a {
    float: center;
    text-align: center;
    text-decoration: none;
    margin: .5em;
    color: #000;
    padding: .25em;
    white-space: nowrap; 
}
#table-of-contents ul li a:hover {
    font-weight : bold ;
}

#table-of-contents h2 {
    display: none; 
}