body {
   font-family: Arial, Helvetica, sans-serif;
/*   font-family: 'Trebuchet MS', 'lucida grande', verdana, sans-serif; */
   font-size: 0.85em;
   margin: 0;
   padding: 0;
   color: #666666; /* TODO: not used? */
   background: white;
}

/* Not used */
div.warning {
   font-size: 0;
   width: 0;
   height: 0;
   color: white;
   display: none;
}

a:link {
   color: #006699;
}

a:visited {
   color: #006699;
}

a:link:hover {
   color: #900000;
}


.note {
   margin-top: 1em;
   margin-bottom: 1em;
   margin-left: 3em;
   margin-right: 3em;
   padding: 1em;
   background: #CCE8ED;
   color: #333;
   border: solid #aaa 1px;
   border-radius: 10px;
}

div.hr {
   font-size: 0;
   border: 0;
   margin: 0;
   padding: 0;
   border-bottom: dashed 1px black;
}
div {
   padding: 0;
   margin: 0;
}

img.figure {
   display: block;
   border: solid gray 1px;
   background: #FFCC99;
   padding: 1em;
   margin-top: 1em;
   margin-bottom: 1em;
   margin-right: auto;
   margin-left: auto;
}

div.block {
   border-bottom: solid 2px #aaa;
/*   border-right: solid 2px lightgrey; */
   margin-bottom: 1.5em;
   padding-bottom: 1em;
   padding-right: 1em;
}

div.logos {
   width: 72%;
   margin-right: auto;
   margin-left: auto;
   display: table;
   margin-bottom: 0.5em;
   height: 70px;
}

div.icons {
   width: 80%;
   margin-left: 10%;
   display: table;
   margin-bottom: 0.5em;
   height: 70px;
}

div.leftlogo {
   display: table-cell;
}

div.rightlogo {
   display: table-cell;
   text-align: right;
}

div.centerlogo {
   display: table-cell;
   text-align: center;
}

div#menu {
   border-right: solid 1px black;
   width: 72%;
   margin-left: auto;
   margin-right: auto;
   text-align: center;
   display: table;
   padding: 0;
   margin-bottom: 0.5em;
}

div#menu ul {
   display: table-row;
}

div#menu li {
   display: table-cell;
   border-left: solid 1px black;
   text-align: center;	
   padding-left : 0.3em;
   padding-right : 0.3em;
   padding-top : 0;
   padding-bottom : 0;
}

div#menu a {
   display: block;
   text-decoration: none;
   color: black;
}

div#menu a:hover {
   color: #900000;
}

div#menu a#cur {
   font-weight: bold;
   color: #a00000;
   background-color: #fed;
}
div#news {
   margin-right: 249px;
}


div#rcol {
   width: 250px;
   float: right;
}

#rcol div#about {
   background: #FFCC99;
}

#rcol div#about img {
   display: block;
   padding-top: 1em;
   margin-left: auto;
   margin-right: auto;
}

p {
   padding: 1em 0.5em 0.3em 0.5em;
   margin: 0;
}

#rcol div#about p {
   padding: 0.5em;
}


.widget {
   background: #FFEEDD;
   border-radius: 1ex;
}

.widget h1 {
   font-weight: bold;
   font-size: 12px;
   color: #900000;
   background: #ffeedd;
   padding: 0.3em;
}

.widget h3
{
   background-color: #900000;
   color: #FFDDAA;
   padding-left: 1ex;
   padding-right: 1ex;
   border-top-left-radius: 1ex;
   border-top-right-radius: 1ex;
   margin-bottom: 0;
}

.widget ul {
   list-style-type: none;
   margin: 0;
   padding: 0;
}

.widget li {
   margin: 0;
   padding: 0.5em;
}

.widget a {
   font-weight: bold;
   font-size: 11px;
   color: #900000;
}

h1 {
   font-size: 1em;
   font-weight: bold;
   color: white;
   background: #900000;
   background-position: right;
   background-image: url("images/bg1.png");
   background-repeat: repeat-y;
   padding: 0.2em 0.2em 0.2em 0.6em;
   margin: 0;
}


h2 {
   font-size: 1em;
   font-weight: bold;
   color: black;
   background: #FFCC99;
   background-image: url("images/bg2.png");
   background-repeat: repeat-y;
   background-position: right;
   padding: 0.2em 0.5em 0.2em 0.9em;
}

h1 + h2 /* join consequtive h1 and h2 */
{
	margin-top: 0px;
}

div#news h1 {
   background-image: url("images/bg1b.png");
}
div#news h2 {
   background-image: url("images/bg2b.png");
}

h3 {
   font-size: 1em;
   font-weight: bold;
   color: #900000;
   padding: 0.2em;
/*
   margin: 1em 0 0 0;
*/
}

h4 {
   font-size: 1em;
   font-weight: bold;
   padding: 0.2em;
/*
   margin: 1.6em 0 1em 0;
*/
}


div.block ul {
   list-style-image: url("images/arrow.png");
   margin: 0 0 0 1.5em;
   padding: 1em 0.5em 0 0.5em;
}

div.block ol {
   margin: 0 0 0 1.5em;
   padding: 1em 0.5em 0 0.5em;
}

pre {
   font-family: mono;
   padding: 0.7em 1em 0 0.7em;
   color: #404040;
   margin: 0;
}

#content {
   margin-right: auto;
   margin-left: auto;
   width:  72%;
}

a.back {
   background-image: url("images/up.png");
   background-repeat: no-repeat;
   padding-left: 16px;
}

a.readmore {
   background-image: url("images/readmore.png");
   background-repeat: no-repeat;
   padding-left: 16px;
}

p.more strong {
   color: #900000;
   font-weight: bold;
}

img {
   border: 0;
}

table.screenshots {
   border: solid 1px gray;
   margin-right: auto;
   margin-left: auto;
   padding : 1em;
   margin-top : 2em;
   margin-bottom : 2em;

   width : 650px;
   background : #ffcc99;
}

li {
   padding: 0.3em;
}
tt {
   font-weight: bold;
   font-size: 1.2em;
}