/**
 * Copyright (C) 2003-2015 Free Software Foundation, Inc.
 * 
 * This code is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 * 
 * This code is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * The license text is available at <http://www.gnu.org/licenses/>.
 */

body {
  margin: 0px;
  padding: 0px;
  font-family: "DejaVu Sans", "Bitstream Vera Sans", Arial, Helvetica, sans-serif;
  font-size: 87.5%;
  line-height: 135%;
  text-align: center;
  background-color: #f0f0ea;
}

#top {
  background-color: #556680;
}

#header {
  margin: 0em auto;
  padding: 4em 0em 1.1em 0em;
  width: 34em;
  text-align: center;
  color: #8596b0;
}

#container {
  margin: 0em auto 1em auto;
  width: 45em;
  text-align: left;
}

#logo {
  float: left;
  width: 9em;
  margin: 2em 0em 0em 0em;
}

#main {
  float: left;
  padding: .5em 1em 1em 1em;
  width: 26.5em; /* Value for IE. */
}
html>body #main {
  width: 25em; /* Value for functioning browsers. */
}

#sidebar {
  width: 9em;
  float: right;
  padding: 0em;
  margin: 0em;
}

#footer {
  margin: 0em;
  padding-top: 1em;
  clear: both;
  font-size: 80%;
  color: #aaa;
  text-align: center;
}


/* Menu */

#menu {
  margin: 2em 0em 0em 0em;
  padding: 0em;
  font-size: 86%;
}

#menu li {
  margin: 0em;
  list-style-type:none;
  /* Without the following border, menu items are displayed
     with a very large spacing in IE. */
  border-bottom: 1px solid #f0f0ea;
}

#menu li a {
  display: block;
  padding: .2em 1em;
  margin: 0em;
  text-decoration: none;
}

#menu li a:hover {
  background-color: #d1d6e0;
}


/* Classes */

h1.banner {
  font-size: 130%;
  font-weight: normal;
  margin: 0em;
}

h2 {
  color: #8596b0;
  font-size: 130%;
  font-weight: normal;
  margin: .8em 0em .4em 0em;
  border-bottom: 1px dotted #8596b0;
  padding-bottom: .25em;
}

h3 {
  font-size: 100%;
  font-weight: normal;
  font-style: italic;
  margin: .8em 0em .4em 0em;
}

p {
  margin: 0em;
  padding: 0em 0em .5em 0em;
}

p.address {
  font-style: italic;
}

img {
  border: none;
}

a {
  color: #447;
}

a:visited {
  color: #447;
}

ul {
  padding: 0em 0em 0em .9em;
  margin: 0em;
  list-style-type: square;
}

ul ul {
  list-style-type: circle;
}

dl {
  padding: 0em;
  margin: 0em 0em .5em 0em;
}

ol {
  padding: 0em 0em 0em 1.5em;
  margin: 0em;
}

ol li {
  padding-bottom: .5em;
}

.emph {
  font-style: italic;
}

.strong {
  font-weight: bold;
}

.file {
  font-family: monospace;
}

.kbd {
  font-family: monospace;
}

.code {
  font-family: monospace;
}


/* Screenshots */

div.screenshot {
  clear: left;
  padding-top: .5em;
}

div.screenshot div.image {
  float: left;
  width: 124px;
  margin-bottom: .5em;
}

div.screenshot div.description {
  margin-left:140px
}

div.screenshot a:hover {
  background-color: transparent;
}

div.screenshot img {
  border: 1px solid #556680;
  padding: 2px;
}

p.desc-title {
  font-style: italic;
}

div.figure {
  width: 24.7em; /* Larger values break design on IE. */
  height: 80px;
  overflow: hidden;
  margin: .5em 0em 1em 0em;
  padding: 0px;
  border: 1px solid #556680;
  background-color: white;
}

/* Get rid of descender space for images
   (see <URL:http://devedge.netscape.com/viewsource/2002/img-table/>) */
div.figure img { display: block; }