@font-face {
  font-family: "comic sans ms";
  src: url("/home/local/cazzola/comic");
}

BODY {
  font-family:"comic sans ms",times;
  font-size:9pt;
  font-weight: normal;
  text-align: justify;
  margin-top: 10px; margin-bottom: 10px; margin-left: 20px;
  padding-right; 10px; 
  width: 93%;
  color:#000000;
  background-color:#FFFFCC;
}

CODE {
  font-family:"helvetica","avantgarde","new courier";
  font-weight: demi-bold;
  font-size:9pt;
  text-align: left;
}

H1.big {
  font-size:18pt;
  font-weight: bold;
  color:#6B3200;
}

H1 {
  font-size:14pt;
  font-weight: bold;
  color:#6B3200;
}

H2 {
  font-size:13pt;
  font-weight: bold;
  color:#6B3200;
}

H3 {
  font-size:12pt;
  font-weight: bold;
  color:#6B3200;
}

TD {
  font-family:"comic sans ms",times;
  font-size:9pt;
  font-weight: demi-bold;  
  text-align: justify;
}

HR {
  width:80%;
}
P {
  text-align: justify;
}

A:visited {
  text-decoration: none;
  color:#FF7777
}

A:link, A:visited {
  text-decoration: none;
  color: red
}

A:hover {
  text-decoration: underline;
  color: red;
}

SUP {
  font-size:9pt
}

PRE.atjava {
  background-color:#ffe4c4;
  font-size: 100%;
  margin: 1em 0px;
  padding: 0px;  
  border: 1px solid #d50000;
}

PRE.execution {
  background-color:#e5fee5;
  font-size: 100%;
  margin: 1em 0px;
  padding: 0px;  
  border: 1px solid #00c100;
}

B.atjava {
  color:#d50000;
  font-weight: bold;  
}

TABLE:biblio {
  border:0pt;
  width:100%;
  valign:top;
  TD {
    valign:top;
  };
  TD:font-size:9pt;
  TD.font-weight:normal;
}