/* stylesheet for language machine web pages adapted from:
** MediaWiki 'monobook' style sheet for CSS2-capable browsers.
** Copyright Gabriel Wicke - http://wikidev.net/
** License: GPL (http://www.gnu.org/copyleft/gpl.html)
**
** Loosely based on http://www.positioniseverything.net/ordered-floats.html by Big John
** and the Plone 2.0 styles, see http://plone.org/ (Alexander Limi,Joe Geldart & Tom Croucher,
** Michael Zeltner and Geir Bækholt)
** All you guys rock :)
*/
  
  .authorPanel { font-family: Arial,Helvetica,sans-serif;
    top: 0px;
    left: 0px;
    width: 100%;
    height: 21px;
    background-color: rgb(204, 204, 255);
    text-align: right;
    padding-top: 2px;
    z-index: 1;
    }

  .logo { float: left;
    top: 2px;
    left: 6px;
    position: relative;
    height: 36px;
    min-height: 36px;
    max-height: 36px;
    width: 36px;
    min-width: 36px;
    max-width: 36px;
    z-index: 1;
    }

  .berlios { float: left;
    z-index: 1;
    top: 5px;
    left: 10px;
    position: relative;
    }

  .sourceforge { float: left;
    top: 3px;
    left: 10px;
    position: relative;
    height: 36px;
    min-height: 36px;
    max-height: 36px;
    width: 122px;
    min-width: 122px;
    max-width: 122px;
    z-index: 1;
    }

  .pageTitle { background-color: rgb(255, 204, 153);
    z-index: 1;
    width: 100%;
    top: 21px;
    height: 42px;
    left: 0px;
    font-size: 32px;
    font-family: Arial,Helvetica,sans-serif;
    text-align: right;
    }

  .menuStrip { background-color: rgb(204, 204, 255);
    width: 100%;
    height: 21px;
    top: 63px;
    left: 0px;
    z-index: 1;
    }

  .menuTable { width: 100%;
    text-align: center;
    }

  img {
      border: 0px solid rgb(170, 170, 170);
      vertical-align: middle;
  }
  
  pre { background-color: rgb(255, 255, 204);
    }

  p { text-align: justify;
    }

  p.western { font-family: "Bitstream Vera Sans", Arial, Helvetica, sans-serif;
    }

  i { background-color: rgb(255, 255, 204);
    }

  h1, h2, h3, h4, h5, h6 { border-bottom: 1px solid rgb(170, 170, 170);
    margin: 0pt;
    background: transparent none repeat scroll 0% 50%;
    color: Black;
    font-weight: normal;
    padding-top: 0.5em;
    padding-bottom: 0.17em;
    }

  h1 { font-size: 188%;
    }

  h2 { font-size: 150%;
    }

  h3 { font-size: 132%;
    }

  h4 { font-size: 116%;
    }

  h5 { font-size: 100%;
    }

  h6 { font-size: 80%;
    }

  /* images */
  div.floatright, table.floatright {
      clear: right;
      float: right;
      position: relative;
      margin: 0 0 0.5em 0.5em;
      border: 0;
  /*
      border: 0.5em solid White;
      border-width: 0.5em 0 0.8em 1.4em;
  */
  }
  div.floatright p { font-style: italic; }
  
  div.floatleft, table.floatleft {
      float: left;
      position: relative;
      margin: 0 0.5em 0.5em 0;
      border: 0;
  /*
      margin: 0.3em 0.5em 0.5em 0;
      border: 0.5em solid White;
      border-width: 0.5em 1.4em 0.8em 0;
  */
  }
  
  div.floatnone {
      float: none;
      position: relative;
      /*margin: 0 0.5em 0.5em 0;*/
      /*border: 20 solid; */
  /*
      margin: 0.3em 0.5em 0.5em 0;
      border: 0.5em solid White;
      border-width: 0.5em 1.4em 0.8em 0;
  */
  }
  
  div.floatleft p { font-style: italic; }
    
  .mainBody { width: 100%;
    }

  body {
    background-color: rgb(204, 255, 255);
    margin: 20px 20px 20px 20px;

    }