/* Based on the GIMP CSS file.

   Anjo.
 */


/* Default style sheet for www.gimp.org -- be careful if you edit it. */
/* $Id: wgo.css,v 1.15 2005/10/13 20:06:52 kdelvare Exp $ */

/* Copyright (C) 2002-2005 by The GIMP Web Team - Contributions by:
 * Ville Pätsi (drc), Henrik Brix Andersen (brix), Carol Spears
 * (carol), Niklas Mattisson (scizzo), Raphaël Quinet (raphael) and
 * Branko Collin (branko).
 *
 * This style sheet and corresponding site layout are designed to be
 * used on official GIMP web sites only.  You may copy some parts of
 * this file into your own style sheet as long as you create your own
 * design that is significantly different from the one used on GIMP
 * web sites (layout, colors, etc.) and you give appropriate credit if
 * you copy more than a few lines from this file (do not claim that
 * you wrote everything yourself).
 */

body {
  background: white;
  color: black;
  font-family: arial,helvetica,sans-serif;
  margin: 0px;
  padding: 0px;
}

img {
  border: none;
}

img.icon {
  float: left;
  margin: 5px;
}

img.map {
  margin: 0px;
  padding: 0px;
}

/* Main header. */
h1 {
  background: #fcfefc;
  color: #04164c;
  border-style: solid;
  border-color: #d0d0d0;
  border-width: 1px;
  padding: 3px;
  margin-bottom: 5px;
  font-weight: bold;
  font-size: 110%;
  text-align: left;
  clear: left;
}

/* Subtitle header. */
h2 {
  font-weight: bold;
  margin-left: 20px;
  margin-right: 0px;
  font-size: 100%;
}

/* Another subtitle using another font-size then the subtitle. */
h3 {
  font-weight: bold;
  clear: both;
  font-size: 100%;
}

div.news {
    clear: both;
}

div.pred {
  clear: both;
  margin: 1.0em 0px;
  margin-left: 20px;
  margin-right: 0px;
}

div.option {
  clear: both;
  margin: 0.5em 0px;
  margin-left: 20px;
  margin-right: 0px;
}

div.description {
  margin-left: 10px;
  margin-right: 0px;
}

p {
  margin: 1.33em 0px;
  margin-left: 20px;
  margin-right: 20px;
}

dl {
  margin: 1.33em 0px;
  margin-left: 20px;
  margin-right: 20px;
}

div.task {
  margin: 1.33em 0px;
  margin-left: 20px;
  margin-right: 20px;
}

div.subject {
  margin: 1.33em 0px;
  margin-left: 20px;
  margin-right: 20px;
}

div.topic {
  margin: 1.33em 0px;
  margin-left: 20px;
  margin-right: 20px;
}

div.description {
  margin: 0.2em 0px;
  margin-left: 20px;
  margin-right: 20px;
}

div.glossary {
  margin: 0.2em 0px;
  margin-left: 20px;
  margin-right: 20px;
}

p.news {
  margin: 0.75em 0px;
  text-align: left;
}

div.news img {
    float: left;
    padding: 0em 1em 0em 0em;
}

p.images img, p.logos img {
  border: none;
}

p.logos img {
  margin: 5px 15px;
}

p.images, p.logos {
  text-align: center;
}

/* Imageslices: work-around to keep the renderer from reserving 
space for the descenders of images by making the images blocks 
instead of inline elements. See 
http://devedge.netscape.com/viewsource/2002/img-table/ for a 
description of the problem. Other than that, 'imageslices' should 
act like 'images'. */

p.imageslices img {
  display: block;
  margin: 0px;
  padding: 0px;
  border: none;
  margin-left: auto;
  margin-right: auto;
}

p.images, p.imageslices {
  text-align: center;
}

p.navindex {
  text-align: center;
  font-size: 80%;
}

#indent {
  margin-left: 20px;
  margin-right: 20px;
}

span.newstitle {
  float: left;
}

span.newsdate {
  float: right;
}

span.menubar {
  font-weight: bold;
  border-top: none;
  border-left: none;
  border-right: none;
  border-bottom: thin dotted red;
}

span.dropdown {
  font-weight: bold;
  border-top: none;
  border-left: none;
  border-right: none;
  border-bottom: thin dotted red;
}

span.popup {
  font-weight: bold;
  border-top: none;
  border-left: none;
  border-right: none;
  border-bottom: thin dotted red;
}

span.browser {
  font-weight: bold;
  border-top: none;
  border-left: none;
  border-right: none;
  border-bottom: thin dotted blue;
}

span.tab {
  border-bottom: thin dotted black;
}

span.pattern {
  font-family: monospace;
  background: #dddddd;
  border-bottom: thin dotted blue;
}

span.task {
  font-weight: bold;
  color: #04164c;
}

span.subject {
  font-weight: bold;
  color: #04164c;
}

span.topic {
}

span.path {
  font-weight: bold;
}

span.different {
  font-weight: bold;
  background-color:   transparent;
  color:              blue;
}

li {
  margin-left: 10px;
  margin-right: 10px;
}

.list li {
  padding-bottom: 1.2em;
}

.list p {
  margin: 0 0 0 0;
}

pre.code {
  color: black;
  background: #f5f5f5;
  border: solid 1px black;
  font-family: monospace;
  white-space: pre;
  margin: 0.5em 0px;
  margin-left: 20px;
  margin-right: 0px;
  padding: 0.5em;
}

pre.debug {
  color: black;
  background: #ddddff;
  border: solid 2px black;
  font-family: monospace;
  white-space: pre;
  margin: 1.33em 0px;
  margin-left: 40px;
  margin-right: 40px;
  padding: 1.33em;
}


pre.text {
  color: black;
  background: #ddddff;
  font-family: monospace;
  white-space: pre;
  margin: 1.33em 0px;
  margin-left: 40px;
  margin-right: 40px;
  padding: 1.33em;
}

em.caution {
  color: #981e49;
  font-weight: bold;
}

em.warn {
  color: #d5a82f;
  font-weight: bold;
}

em.hellbrokeloose {
  color: #c74646;
  font-weight: bold;
}

.help, acronym {
  border-bottom: 1px dashed #9999cc;
  cursor: help;
}

kbd {
  font-weight: bold;
}

td.map {
  margin: 0px;
  padding: 0px;
}

form {
  margin: 1.33em 0px;
  margin-left: 40px;
  margin-right: 40px;
}

/* Changes here should only be done if you know exactly what you are doing.
 * Changes done here will change the appearence of the whole site and should
 * be left up to the designer of the site to change. Contact the designer for
 * more information about the values below. */

#menu {
  color: black;
  border-style: solid;
  border-color: #d0d0d0;
  border-width: 0px 1px 0px 0px;
  padding: 10px;
  font-weight: bold;
  vertical-align: top;
  white-space: nowrap;
  top: 100px;
  left: 0px;
  height: 100%;
}

#menu a {
  display: block;
}

#task {
  font-weight: normal;
}

#task_subject a {
  font-weight: normal;
}

#menu a.sub {
  display: block;
  padding-left: 10px;
  font-size: 90%;
}

#menu span {
  display: none;
}

#menu p {
  display: none;
}

#menubutton {
  background-color: transparent;
  padding: 0;
  position: absolute;
  top: 100px;
  left: 0px;
  cursor: w-resize;
}

#main {
  padding: 10px;
  vertical-align: top;
}

#titlebar {
  background-image: url("../images/barbg.png");
  background-repeat: repeat-x;
  height: 100px;
}

#linkbar, #navbar {
  clear: both;
  background: #f5f5f5;
  color: black;
  border: solid #d0d0d0;
  border-width: 1px 0px 1px 0px;
  padding: 5px 5px 5px 5px;
  font-weight: bold;
  text-align: center;
}

#footerleft {
  float: left;
  padding: 20px;
}

#footerright {
  float: right;
  padding: 20px;
}

#titlebarleft {
  float: left;
}

#titlebarright {
  float: right;
}

@media print {
#titlebar, #navbar, #linkbar, #menu {
  display: none
}

#main {
  margin-left: 0px;
  padding-right: 0px;
  padding-left: 0px;
}

}
