/*  CSS di GuIT, Gruppo Utilizzatori italiani TeX, http://www.guit.sssup.it   */

/**************************Impostazioni di Struttura***************************/

html {
    background: url(immagini/carta-latex.jpg) #c6c992;
    margin: 0px;
    border: 1px;
    padding: 0px;
    text-align: center;
    }

body {
    background: transparent; 
    margin: 0px;
    border: 0px;
    padding: 10px 0px;
    width: 100%;
    height: 100%;
    color: #006600;
    text-align: center;
    font-family: arial,sans-serif;
    font-size: 13px;
    }

#box {
    background-color: #c6c992;
    margin: 0px auto;
    border: 1px solid green;
    padding: 0px; 
    width: 764px;
    text-align: left;
    /* fino a qui per IE5 - il valore corretto è 766px*/
    voice-family: "\"}\"";
    voice-family: inherit;
    width: 766px;
    }
    /* Per Opera 5 */
    body>#box {width: 766px;}

#menu {
    background-color: #c6c992;
    font-family: arial,sans-serif;
    position: absolute;
    width: 140px; 
    margin: 0px;
    padding: 10px 0px;
    border: 0px;
}

#contenuto {
    background-color: white;
    position: relative;
    top: 0px;
    left: 142px;
    font-family: arial,sans-serif;
    margin: 0px;
    border: 0px;
    padding: 10px 20px;
    width: 492px;
    /* fino a qui per IE5 - il valore corretto è 532px*/
    voice-family: "\"}\"";
    voice-family: inherit;
    width: 532px;
    }
    /* Per Opera 5 */
    body>#box>#contenuto {width: 532px;}

/****************************Impostazioni Grafiche*****************************/

p, h1, h2, h3, .warning, .footnote {text-align:justify;}
p  {text-indent: 0px; margin: 6px 0px;}
p.footnote {font-size: 10px;}

code, pre, tt {
   font-family: courier, monospace;
   color: #000000;
  }
  
h1 {font-size: 25px; margin-bottom: 20px;}
h2 {font-size: 18px;}
h3 {font-size: 16px;}

a:link {color:#0000FF;}
a:visited {color:#0000CC;}
a:hover {color:#000066;}

img {border-width: 0px; }

.warn {
  color: #ff0000;
	font-weight: bold;
}
.sezione {font-weight: bold;}
.spazio {margin-bottom: 50px;}

/* Aggiunto da Emiliano Vavassori <syntaxerror@clarence.com> */

/*** Gestione delle pagine dinamiche e layout ***/

hr {
  margin-bottom: 30px;
}

p.up {
  margin-top: 30px;
  margin-bottom: 10px;
  text-align: center;
}

/*** Software Patents ***/

div#swpat {
  text-align: center;
  margin-top: 10px;
  margin-bottom: 10px;
}

div#swpat img {
  padding: 1px 1px;
  border: 1px solid #006600;
}

.centered {
  text-align: center;
  margin-left: auto;
  margin-right: auto;
}