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

  body { margin: 20px;
    padding: 0px;
    background: rgb(75, 125, 190) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    font-family: arial,sans-serif;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    font-size: 16px;
    line-height: normal;
    font-size-adjust: none;
    font-stretch: normal;
    }

  pre { text-indent: 30px;
    }

  #tabmenu { border-bottom: 2px solid black;
    margin: 20px 0px 0px;
    padding: 0px 0px 0px 10px;
    color: rgb(0, 0, 0);
    z-index: 1;
    }

  #tabmenu li { display: inline;
    overflow: hidden;
    list-style-type: none;
    }

  #tabmenu a { border: 2px solid black;
    margin: 0pt;
    padding: 2px 16px 0px;
    background: rgb(90, 255, 25) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    color: rgb(0, 0, 0);
    font-family: "Trebuchet MS",Arial,sans-serif;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
    font-size: 1em;
    line-height: normal;
    font-size-adjust: none;
    font-stretch: normal;
    text-decoration: none;
    }

  #tabmenu a.active { border-bottom: 3px solid rgb(255, 255, 255);
    background: rgb(255, 255, 255) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    color: rgb(0, 0, 0);
    }

  #tabmenu a:hover { background: rgb(90, 255, 25) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    color: rgb(255, 255, 255);
    }

  #tabmenu a:visited {  }

  #tabmenu a.active:hover { background: rgb(255, 255, 255) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    color: rgb(0, 0, 0);
    }

  #content { border-style: none solid solid;
    border-color: -moz-use-text-color black black;
    border-width: medium 2px 2px;
    padding: 20px;
    background: rgb(255, 255, 255) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    font-family: "bitstream vera sans",verdana,sans-serif;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    font-size: 0.9em;
    line-height: 1.3em;
    font-size-adjust: none;
    font-stretch: normal;
    text-align: justify;
    z-index: 2;
    }

  #content a { text-decoration: none;
    }

  #content a:hover { background: rgb(137, 139, 94) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    color: rgb(232, 233, 190);
    }

  h2 { border-width: 3px;
    border-left: 3px solid black;
    border-right: 3px solid black;
    margin: 9px 0pt 4px;
    padding: 6px;
    background: rgb(90, 255, 25) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    font-family: "trebuchet ms",sans-serif;
    font-size: 24px;
    letter-spacing: 2px;
    }

  h3 { margin: 19px 0pt 4px;
    padding: 6px;
    background: rgb(90, 255, 25) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    font-family: "trebuchet ms",sans-serif;
    font-size: 20px;
    letter-spacing: 1px;
    }

  h4 { font-family: "trebuchet ms",sans-serif;
    font-size: 18px;
    }

  #ItalianEnglish a { border: 2px solid red;
    margin: 0pt;
    padding: 2px 5px 0px;
    background: rgb(242, 254, 22) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    font-family: "Trebuchet MS",Arial,sans-serif;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
    font-size: 1em;
    line-height: normal;
    font-size-adjust: none;
    font-stretch: normal;
    text-decoration: none;
    color: rgb(51, 0, 153);
    }