/*
 ddp.css - Debian Developer Page Cascade Style Sheet
 
 Copyright 2006 by Ricardo Mones <mones@debian.org>

 You are free to distribute this software under the terms of
 the GNU General Public License.
 On Debian systems, the complete text of the GNU General Public
 License can be found in /usr/share/common-licenses/GPL file.
 */

body {
  color: rgb(0, 0, 0);
  background-color: rgb(240, 240, 252);
}

.panel_top {
  color: rgb(0, 0, 0);
  background-color: rgb(220, 220, 200);
  background-image: url("swirl.png");
  background-position: top left;
  background-repeat: no-repeat;
  margin-left: 5%;
  margin-right: 5%;
  position: fixed;
  top: 14px;
  height: 90px;
  width: 90%;
  border-bottom: dotted 1px rgb(140, 140, 152);
  font-family: sans-serif;
}

.panel_top h1 {
  font-size: x-large;
  margin-left: 30px;
}

.panel_top h2 {
  font-size: large;
  margin-left: 30px;
}

.panel_bottom {
  color: rgb(0, 0, 0);
  background-color: rgb(220, 220, 200);
  width: 90%;
  margin-left: 5%;
  margin-right: 5%;
  position: fixed;
  bottom: 0%;
  border-top: dotted 1px rgb(140, 140, 152);
}

.panel_bottom p {
  text-align: center;
  font-family: sans-serif;
  font-size: x-small;
}

.panel_left {
  color: rgb(0, 0, 0);
  background-color: rgb(245, 240, 220);
  background-image: url("swirl.png");
  background-position: 0px -90px;
  background-repeat: no-repeat;
  width: 45%;
  margin-left: 5%;
  position: fixed;
  top: 105px;
  float: left;
  height: 90%;
}

.panel_right {
  color: rgb(0, 0, 0);
  background-color: rgb(240, 245, 220);
  background-image: url("neo.png");
  background-position: right bottom;
  background-repeat: no-repeat;
  width: 45%;
  margin-left: 50%;
  position: fixed;
  top: 105px;
  float: right;
  height: 90%;
}

.block {
  margin-left: 2%;
  font-family: sans-serif;
  font-size: small;
}

.block h1 {
  font-family: monospace;
  font-size: medium;
  border-bottom: solid 1px rgb(220, 220, 200);
  padding: 2px 2px 2px 2px;
}

a {
  color: rgb(120, 120, 150);
  text-decoration: none;
}

a:hover {
  color: rgb(230, 230, 239);
  background-color: rgb(120, 120, 150);
}