/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */

  html { background-color: rgb(255, 255, 255) ! important;
    color: rgb(0, 0, 0);
    }

  body { margin: 0pt;
    padding: 0pt;
    color: black;
    background-color: white;
    font-size: 12px;
    width: 100%;
    }

  table.body { margin: 0pt;
    padding: 0pt;
    width: 100%;
    background-color: rgb(254, 230, 187);
    color: black;
    }

  a:link, a:visited { color: rgb(0, 0, 128);
    background-color: rgb(254, 230, 187);
    text-decoration: none;
    }

  h1 { border-bottom: 2px solid rgb(121, 28, 13);
    margin: 1em;
    font-family: "Bookman Old Style",Verdana,Arial,Helvetica,sans-serif;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
    font-size: 16px;
    line-height: normal;
    font-size-adjust: none;
    font-stretch: normal;
    color: rgb(121, 28, 13);
    background-color: rgb(254, 230, 187);
    }

  h2 { border-bottom: 1px solid rgb(121, 28, 13);
    margin: 1em;
    font-family: "Bookman Old Style",Verdana,Arial,Helvetica,sans-serif;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
    font-size: 14px;
    line-height: normal;
    font-size-adjust: none;
    font-stretch: normal;
    color: rgb(121, 28, 13);
    background-color: rgb(254, 230, 187);
    }

  h2:before { content: "" "*" " " " " " " "*";
    }

  h3 { border-right: 1px solid rgb(121, 28, 13);
    border-bottom: 1px solid rgb(121, 28, 13);
    margin: 1em;
    font-family: Tahoma,Verdana,Arial,Helvetica,sans-serif;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
    font-size: 15px;
    line-height: normal;
    font-size-adjust: none;
    font-stretch: normal;
    color: rgb(121, 28, 13);
    background-color: rgb(254, 230, 187);
    text-align: right;
    padding-right: 1em;
    }

  h3:before { content: "";
    }

  p { text-indent: 1em;
    margin-top: 0pt;
    margin-bottom: 0pt;
    margin-left: 7px;
    }

  p.date, p.calendar { border-top: 1px solid rgb(121, 28, 13);
    border-left: 1px solid rgb(121, 28, 13);
    background-color: rgb(255, 204, 153);
    color: rgb(121, 28, 13);
    }

  p.calendar:before { content: "Titolo: ";
    }

  p.calendar { font-size: 14px;
    font-weight: bold;
    margin-right: 1em;
    margin-top: -16px;
    }

  pre.commands { border: 1px solid rgb(73, 91, 111);
    padding: 5px;
    line-height: 30px;
    font-family: monospace;
    color: black;
    background-color: white;
    }

  img { border-style: none;
    margin: 0px;
    padding: 0px;
    }

  #top { margin: 0pt;
    padding: 0pt;
    background: rgb(121, 28, 13) url(images/fadein.gif) repeat-x scroll center bottom;
    color: rgb(170, 170, 170);
    height: 104px;
    }

  #menu { width: 786px;
    }

  #menu, #menu td { margin: 0pt;
    padding: 0pt;
    }

  #menu a { font-size: 12px;
    text-align: center;
    color: rgb(121, 28, 13);
    background-color: rgb(254, 230, 187);
    }

  #menu td a:hover { color: rgb(121, 28, 13);
    background-color: rgb(255, 153, 102);
    }

  #menu td { border-right: 1px solid rgb(153, 102, 51);
    width: 130px;
    }

  #menu td a:link, #menu td a:visited { display: block;
    text-decoration: none;
    font-weight: bold;
    height: 32px;
    line-height: 32px;
    }

  #submenu { border-top: 1px solid rgb(153, 51, 0);
    }

  #submenu, #submenu td { margin: 0pt;
    padding: 0pt;
    }

  #submenu a { text-align: center;
    font-size: 10px;
    color: rgb(121, 28, 13);
    background-color: rgb(254, 230, 187);
    }

  #submenu td a:hover { color: rgb(121, 28, 13);
    background-color: rgb(255, 153, 102);
    }

  #submenu td { border-right: 1px solid rgb(153, 102, 51);
    width: 130px;
    }

  #submenu td a:link, #submenu td a:visited { display: block;
    text-decoration: none;
    line-height: 24px;
    height: 24px;
    font-weight: bold;
    }

  #context { border-color: rgb(153, 51, 0);
    border-width: 1px;
    padding-bottom: 10px;
    }

  #context, #context td { margin: 0pt 27pt;
    }

  #context table { border: 1px solid rgb(153, 51, 0);
    width: 50%;
    margin-left: 25%;
    }

  #context a { text-align: center;
    font-size: 10px;
    color: rgb(121, 28, 13);
    background-color: rgb(254, 230, 187);
    }

  #context td a:hover { color: rgb(121, 28, 13);
    background-color: rgb(255, 153, 102);
    }

  #context td { border-right: 1px solid rgb(153, 102, 51);
    }

  #context td a:link, #context td a:visited { display: block;
    text-decoration: none;
    line-height: 24px;
    height: 24px;
    font-weight: bold;
    }

  #fadein, #fadeout { margin: 0pt;
    padding: 0pt;
    clear: both;
    height: 5px;
    }

  #fadeout { background: rgb(254, 230, 187) url(images/fadeout.gif) repeat-x scroll center top;
    color: rgb(121, 28, 13);
    }

  .center { border-left: 1px solid rgb(121, 28, 13);
    border-right: 1px solid rgb(121, 28, 13);
    margin-right: 27px;
    margin-bottom: 15px;
    margin-left: 27px;
    padding-left: 10px;
    padding-right: 10px;
    }

  ul.news { list-style-type: square;
    }

  br.clear { clear: both;
    line-height: 0px;
    }

  form { margin: 0pt;
    padding: 0pt;
    }

  form fieldset { border: 0pt none ;
    margin: 0pt;
    padding: 0pt;
    }

  form legend { font-weight: bold;
    }

  div.snaps { margin-top: 7px;
    text-align: center;
    }

  div.snaps dl { margin: 0px 0px 6px;
    float: left;
    width: 400px;
    }

  div.snaps dd { text-align: center;
    margin-left: 15px;
    margin-right: 15px;
    }

  div.smallsnaps { margin-top: 7px;
    text-align: center;
    }

  div.smallsnaps dl { margin: 0px 0px 6px;
    float: left;
    }

  div.smallsnaps dd { text-align: center;
    margin-left: 15px;
    margin-right: 15px;
    }

  div.screenshot { padding-bottom: 15px;
    padding-left: 5px;
    }

  table.test { border: 0pt none ;
    background-color: rgb(53, 87, 127);
    color: rgb(121, 28, 13);
    width: 520px;
    margin-left: 50px;
    }

  table.list { border: 0pt none ;
    background-color: rgb(53, 87, 127);
    color: rgb(121, 28, 13);
    margin-left: 50px;
    }

  table.newsarch { border: 0pt none ;
    background-color: rgb(53, 87, 127);
    color: rgb(121, 28, 13);
    }

  table.list .hover { padding: 2px 0pt;
    font-weight: bold;
    text-align: center;
    }

  table.list td { padding: 2px 5px;
    }

  div.classes img { background-color: rgb(192, 192, 192);
    color: black;
    }

  #col { width: 120px;
    }

  ol.a { list-style-type: lower-alpha;
    }

  #bottom { border-top: 2px solid rgb(0, 0, 0);
    margin: 0pt;
    padding: 0pt;
    text-align: center;
    color: rgb(170, 170, 170);
    background-color: rgb(121, 28, 13);
    }

  #bottom a { color: rgb(255, 255, 255);
    background-color: rgb(121, 28, 13);
    line-height: 1.7em;
    }

  table.bottom { width: 100%;
    padding-bottom: 5px;
    padding-top: 5px;
    }

  table.bottom #left, table.bottom #right { width: 100px;
    }

  .visrow { visibility: visible;
    display: block;
    }

  .hidrow { visibility: hidden;
    display: none;
    }

  p.general { font-family: "Arial",sans-serif;
    font-size: 10pt;
    }

  p.right {
	  text-align: right;
	}
	
  p.indented { font-family: "Arial",sans-serif;
    font-size: 10pt;
    }

  td.general { font-family: "Arial",sans-serif;
    font-size: 10pt;
    }

  td.label { font-family: "Arial",sans-serif;
    font-size: 10pt;
    font-weight: 700;
    }

  h3.header { font-family: "Arial",sans-serif;
    font-size: 11pt;
    font-style: italic;
    font-weight: 700;
    }

  h4.header { font-family: "Arial",sans-serif;
    font-size: 13pt;
    font-style: normal;
    }

  li.general { font-family: "Arial",sans-serif;
    font-size: 10pt;
    }

  #imagetitle { float: right;
    margin-right: 0px;
    position: relative;
    margin-top: 2px;
    }

  #top table { width: 100%;
    }

  div.snaps img { border-style: solid;
    border-width: 1px;
    }

  div.snaps p { text-align: justify;
    }

  table.bottom #left { float: left;
    }

  table.bottom #right { float: right;
    }

  div.center dl { text-align: center;
    }

  div.center img { border: 1px solid rgb(0, 0, 0);
    }