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

  .solution { border: 1px solid rgb(153, 153, 0);
    padding: 5px 10px;
    position: relative;
    margin-top: 10px;
    font-family: Courier New,Courier,monospace;
    margin-left: 40px;
    margin-right: 40px;
    text-align: justify;
    }

  p { text-align: justify;
    font-family: Arial,Helvetica,sans-serif;
    }

  .linux { font-family: Arial,Helvetica,sans-serif;
    text-transform: uppercase;
    color: rgb(255, 255, 255);
    background-color: rgb(204, 0, 0);
    padding-left: 3px;
    padding-right: 3px;
    display: inline;
    font-weight: bold;
    margin-left: 2px;
    margin-right: 2px;
    }

  .windows { display: inline;
    padding-left: 3px;
    padding-right: 3px;
    color: rgb(255, 255, 255);
    text-transform: uppercase;
    font-family: Arial,Helvetica,sans-serif;
    font-weight: bold;
    background-color: rgb(0, 0, 153);
    margin-left: 2px;
    margin-right: 2px;
    }

  .bugtitre { color: rgb(0, 0, 153);
    font-size: medium;
    }

  .bugtitre > solved { text-decoration: line-through;
    }

  .code { font-family: Courier New,Courier,monospace;
    color: rgb(153, 51, 0);
    }

  .viewport { border: 1px none rgb(153, 153, 153);
    position: relative;
    padding-left: 10px;
    padding-right: 10px;
    margin-bottom: 5px;
    margin-left: 148px;
    color: rgb(102, 102, 102);
    background-color: rgb(255, 255, 255);
    }

  .navigateSec { border-color: rgb(204, 204, 255) rgb(204, 153, 51) rgb(204, 153, 51) rgb(204, 204, 255);
    border-width: 1px;
    width: 125px;
    overflow: hidden;
    position: fixed;
    font-family: Arial,Helvetica,sans-serif;
    line-height: 130%;
    font-weight: normal;
    background-color: rgb(238, 238, 238);
    -moz-border-radius-topleft: 5px;
    -moz-border-radius-topright: 5px;
    -moz-border-radius-bottomright: 5px;
    -moz-border-radius-bottomleft: 5px;
    }

  ul > li { font-family: Arial,Helvetica,sans-serif;
    }

  .top { border-style: none;
    border-width: 0px;
    text-decoration: none;
    float: right;
    }

  img { border: medium none ;
    margin-top: 5px;
    margin-bottom: 5px;
    }

  .warning { border: 1px solid rgb(255, 0, 0);
    color: rgb(204, 0, 0);
    font-size: 9pt;
    position: fixed;
    width: 127px;
    top: 25em;
    }

  .warnHead { color: rgb(255, 255, 255);
    font-weight: bold;
    background-color: rgb(204, 0, 0);
    text-align: center;
    font-size: large;
    }

  .warning > p { padding: 10px 5px;
    }

  .navSubSec { color: rgb(255, 255, 255);
    font-family: Arial,Helvetica,sans-serif;
    font-weight: bold;
    padding-left: 5px;
    padding-top: 3px;
    text-align: center;
    background-color: rgb(153, 153, 153);
    -moz-border-radius-topleft: 5px;
    -moz-border-radius-topright: 5px;
    -moz-border-radius-bottomright: 5px;
    -moz-border-radius-bottomleft: 5px;
    }

  .navLink { position: relative;
    font-weight: normal;
    text-decoration: none;
    font-size: 10pt;
    padding-right: 5px;
    float: none;
    text-align: right;
    }

  .navLink > a:link { font-family: Arial,Helvetica,sans-serif;
    position: relative;
    font-weight: inherit;
    color: rgb(153, 0, 0);
    font-size: 90%;
    text-decoration: none;
    }

  .navLink > a:hover { border-color: rgb(204, 0, 0);
    border-width: 1px;
    font-family: Arial,Helvetica,sans-serif;
    position: relative;
    font-weight: inherit;
    background-color: rgb(192, 192, 192);
    }

  .rightDesc { position: relative;
    display: block;
    }

  .leftDesc {  }

  .rightDesc > img { float: right;
    }

  .leftDesc > img { float: left;
    }

  .navigateSec a img { text-align: center;
    }

  h1 { background-color: rgb(153, 153, 153);
    color: rgb(255, 255, 255);
    padding-left: 15px;
    padding-bottom: 2px;
    padding-top: 2px;
    -moz-border-radius-topleft: 5px;
    -moz-border-radius-topright: 5px;
    -moz-border-radius-bottomright: 5px;
    -moz-border-radius-bottomleft: 5px;
    }

  h2 { color: rgb(255, 255, 255);
    background-color: rgb(192, 192, 192);
    padding-top: 2px;
    padding-left: 15px;
    padding-bottom: 2px;
    margin-left: 15px;
    -moz-border-radius-topleft: 5px;
    -moz-border-radius-topright: 5px;
    -moz-border-radius-bottomright: 5px;
    -moz-border-radius-bottomleft: 5px;
    }

  .faq {  }

  .faq dd { margin: 3px 50px 5px;
    padding: 5px 10px;
    -moz-border-radius-bottomright: 5px;
    -moz-border-radius-bottomleft: 5px;
    color: rgb(51, 51, 51);
    position: relative;
    top: -3px;
    background-color: rgb(229, 229, 229);
    }

  .faq dt { margin-right: 50px;
    padding-left: 10px;
    margin-top: 15px;
    -moz-border-radius-topright: 5px;
    -moz-border-radius-topleft: 5px;
    -moz-border-radius-bottomleft: 5px;
    color: rgb(255, 255, 255);
    padding-top: 5px;
    padding-bottom: 5px;
    background-color: rgb(127, 160, 234);
    font-weight: bold;
    font-family: Arial,Helvetica,sans-serif;
    }

  .faqindex a { text-decoration: none;
    color: rgb(37, 68, 202);
    }

  .faqindex a:hover { text-decoration: underline;
    }

  .howto dd { margin: 3px 50px 5px;
    padding: 5px 10px;
    top: -3px;
    -moz-border-radius-bottomright: 5px;
    -moz-border-radius-bottomleft: 5px;
    background-color: rgb(229, 229, 229);
    color: rgb(51, 51, 51);
    position: relative;
    }

  .howto dt { font-family: Arial,Helvetica,sans-serif;
    color: rgb(255, 255, 255);
    font-weight: bold;
    background-color: rgb(153, 153, 255);
    margin-top: 15px;
    margin-right: 50px;
    -moz-border-radius-topright: 5px;
    -moz-border-radius-topleft: 5px;
    -moz-border-radius-bottomleft: 5px;
    padding-top: 5px;
    padding-left: 10px;
    padding-bottom: 5px;
    }

  .bugcomment { font-family: Arial,Helvetica,sans-serif;
    color: rgb(204, 102, 0);
    font-weight: bold;
    }