h1, h2, h3, h4, h5, .skribesectiontitle {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 90%;
  color: #505050;
  margin-top: 0em;
  margin-bottom: 0em;
  padding: 0em;
  display: block;
}

.skribesubsectiontitle {  
  margin-top: 2em;
  margin-bottom: 0.5em;
  text-decoration: underline;                           
}

.section > div:first-child + .skribesubsectiontitle {  
  margin-top:0em;
}

/*---------------------------------------------------------------------*/
/*    DIVs positioning...                                              */
/*---------------------------------------------------------------------*/
body {
  margin: 0em;
  padding: 0em;
}

.pagebody {
  display: table;
  width: 100%;
  border-spacing: 0.8em;
}

.navbar { 
  width: 8.5em;
  float: left;
}

.newsbar { 
  width: 8.5em;
  float: right;
}

.main {
  padding-left: 9.5em;
  padding-right: 9.5em;
}

/*---------------------------------------------------------------------*/
/*    Header style (title + author) ...                                */
/*---------------------------------------------------------------------*/
.headershadow { 
  width: 100%;
  padding-bottom: 10px;
  background: url('images/titleshadow.png') repeat-x bottom;
}

.header {
  font-family: verdana, arial, helvetica, sans-serif;
  background-color: #b0c0f0;
  overflow: hidden;
  padding-right: 1em;
  display: block;
  /*position: relative;*/
}

.header > img { 
  position: absolute;
  top: 0px;
  left: 0px;
  width: 100%;
  height: 100%;
}

.bugloo { 
  position: absolute;
  padding-left: 0.5em;
  padding-right: 2em;
  height: 4.5em;
  background-color: #4050c0;
}

.bugloo > img { 
  position: absolute;
  top: 0px;
  left: 0px;
  width: 100%;
  height: 100%;
}

.bugloo > .title {
  font-variant: small-caps;
  font-weight: bold;
  font-size: 2.5em;
  color: white;
  white-space: nowrap;
}

.bugloo > .subtitle {
  font-size: small;
  font-style: italic;
  color: #d0d0d0;
  white-space: nowrap;
}

.authors {
  height: 4.5em;
  float:right;
  display: table;
}

table.author {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: x-small;
  text-align: center;
  display: table-cell;
  vertical-align: middle;
  border-collapse: collapse;
}

.authname {
  color: #303030;
  font-style: italic;
  font-weight: bold;
  font-size: 120%;
}

.authtitle, .authaffiliation, .authaddr, .authphone {
  margin: 0pt;
  padding: 0pt;
}




.main > .skribesectiontitle {
  border-bottom: 2px dotted;
  font-weight: bold;
  font-size: 110%;
  font-variant: small-caps;
  display: block;
}

.main > .skribesectiontitle:after { 
  color: #505050; 
  content: ":"
}

.main > * > * > dl, .main > * > * > ul {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  list-style-type: square;
  list-style-position: inside;
  margin: 0px;
  padding-left:0em;
}

li + li {margin-top: 0.2em}

.secshadow {
  background: url('images/secshadow.png') repeat-x bottom;
  margin-left: 1em;
  margin-bottom: 1.5em;
  padding-bottom: 10px;
}

div.section { 
  background: url('images/gradient-grey.png') repeat-x;
  background-color:#f2f2f2;                                
  color: #303030;
  padding-top: 0.3em;
  padding-left: 0.5em;
  padding-right: 0.5em;
  border-left: solid 0.4em #e0e0e0;
  border-top: none;
  border-bottom: solid 1px #e0e0e0;
}

.header + div { 
  vertical-align: top;
}

.header + div > img {
  width: 100%;
  height: 10px;
  display: block;
  padding: 0px;
}


/*---------------------------------------------------------------------*/
/*    News entries style ...                                           */
/*---------------------------------------------------------------------*/

.news-entry {
  display: block;
  margin-top: 0.3em;
  margin-bottom: 0.7em;
}

.news-entry + div + .news-entry {
  margin-top: 1em;
}

.news-title {
  position: relative;
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  padding-left: 0.5em;
  border-bottom: solid 2px #d0d0d0;
  display: block;
}

.news-date {
  position: relative;  
  font-family: verdana, arial, helvetica, sans-serif;
  font-style: italic;
  font-size: 70%;
  text-align: right;
  padding-right: 1em;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  display: block;
  color: #808080;
}

.news-body {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  margin-left: 1.0em;  
  padding-left: 1.0em;
  padding-right: 1.0em;
  padding-bottom: 0.5em;
  border-left: 1px dashed #e0e0e0;
  position: relative;
}


.news-text { 
  position: relative;
  text-align: justify;
}

.news-text > p { 
  font-size: 100%;
}

.news-body > img {
  position: absolute;
  width: 100%;
  height: 100%;
  left: 0px;
  top: 0px;
}

/*---------------------------------------------------------------------*/
/*    buttons ...                                                      */
/*---------------------------------------------------------------------*/
.rssbutton {
  background: url('images/rss20.gif') center no-repeat;
  padding: 1px;
  width: 80px;
  height: 15px;
  display: block;
  margin-bottom: 0.2em;
  margin-left: auto;
  margin-right: auto;
  position: relative;
  top: 0.3em;
}

.rssbutton span {
  display: none;
}


/*---------------------------------------------------------------------*/
/*    navbar & newsbar style ...                                       */
/*---------------------------------------------------------------------*/
.gradient { 
  position: relative;
}

.gradient > h3 {
  font-size: 80%;
  font-weight: bold;
  color: #505050;
  text-align: center;
  position: relative;
  border: 0.2em solid #b0c0f0;
  border-bottom: none;
  padding-bottom: 0.2em;
}

.gradient > img { 
  position: absolute;
  width: 100%;
  height: 100%;
  top: 0px;
  left: 0px;
}

.barsection > a {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
}

.barsection > * > * > a, .barsection > * > * > * > a { 
  display: block;
}

.barsection {
  background: url('images/gradient-grey.png') repeat-x;
  background-color:#f2f2f2;                                
  font-size: 90%;
  border: 0.2em solid #b0c0f0;
  border-top: none;
  padding: 0.5em;
  padding-top: 0.3em;
}

.navbar > .secshadow, .newsbar > .secshadow { 
  margin: 0px;
  margin-bottom: 0.5em;
  padding-bottom: 10px;
}

.navbar > * > * > dl, .navbar > * > * > ul,
.newsbar > * > * > dl, .newsbar > * > * > ul {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  list-style-type: none;
  margin: 0px;
  padding-left:0em;
  color: #303030;
}

.navbar > * > * > * > dd {
  font-size: 80%;
  margin-left: 0.8em;
}

.navbar > * > * > * > li > * > li  { margin-top: 0em; }

.navbar > * > * > * > li > ul {
  padding-left: 0em;
}

.navbar > * > * > * > li > ul > li { 
  margin-left: 0.3em;
  padding-left: 0.3em;
  border-left: 0.5em solid #c0d0f0;
  list-style-type: none;
  margin-top: 0.1em;
}

.navbar > * > * > * > li > ul > li > a { 
  display: block;
}

/*---------------------------------------------------------------------*/
/*    news headline style ...                                          */
/*---------------------------------------------------------------------*/
.headline-date {
  font-family: verdana, arial, helvetica, sans-serif;
  font-weight: bold;
  white-space: nowrap;
  text-align: left;
  margin: 0px;
  padding-left:0em;
  color: #303030;
}

.headline-title {
  font-family: verdana, arial, helvetica, sans-serif;
  text-align: left;
  margin: 0px;
  padding-left:0em;
  color: #303030;
}




:link, :visited {
  color: #00309f;
  text-decoration: underline;
}

:link:hover , :visited:hover {
  background-color: #b0c8ff;
}


.headline-title:link, .headline-title:visited {
  color: #303030;
  text-decoration: none;
}


.headline-title:link:hover , .headline-title:visited:hover {
  color: #00309f;
  text-decoration: underline;
}



.dam {
  text-align:center;
  display:block;
  padding:0px;
}



.prog {
  overflow: auto;
}

p, .fn {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  text-align: justify;
  margin-top: 0.3em;
}

tt {  
  font-size: 100%;
}

span.sc {
  font-variant: small-caps;
}

span.sf {
  font-family: verdana, arial, helvetica, sans-serif;
}


dd {
  margin-left: 0.8em;
  margin-bottom: 0.5em;
}

.section > * > dt:before { content: "[ " }
.section > * > dt:after { content: " ]" }

dd > p { 
  font-size: 100%;
}

.main > * > * > * > dd + dt { 
  margin-top: 1em;
}

li {
  text-align: justify;
}



tt {
  font-family: monospace, mono, courier, fixed;
  font-size: 100%;
}

.hfill + p { 
  margin-top: 2em;
}


.news {
  font-family: monospace, mono, courier, fixed;
  font-weight: bold;
  text-align: left;
}

.date {
  color: #505050;
  white-space: nowrap;
}

.important {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 90%;
  background: #eef0ff;
  border: solid 1pt #b0c0f0;
  margin-top: 0.5em;
  margin-bottom: 1em;
  margin-left: auto; 
  margin-right: auto;
  text-align: center;
  display: table;
  padding-left: 1em;
  padding-right: 1em;
  border-spacing: 0.5em;
  /* -moz-border-radius: 0.5em; */
}

.important > .version {
  font-weight: bold;
  color: #00309f;
  //color: #0050f0;
  white-space: normal;
}

.important > .date {
  font-style: italic;
  //color: #000050;
  white-space: normal;
  display: block;
}

.important + p { margin-bottom:0.5em; }
.download { 
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 90%;
  display: table;
  margin-bottom: 1em;
  margin-left: auto;
  margin-right: auto;
  border-collapse: collapse;
}

.download > p {
  font-size: 100%;
  margin-bottom: 0.5em;
}

.download > ul {
  margin: 0em;
  padding: 0em;
}

.main > * > p, .main > * > ul {
  margin-top: 0em;
  margin-bottom: 0.7em;
}

.screenshots > tbody > tr > th {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  font-weight: bold;
  background-color: #a0b0d0;
  border-top: solid 1px #b0c0f0;
  padding : 0.2em;
  color: white;
}

.screenshots {
  margin-bottom: 0.5em;
}


.screenshots > tbody > tr > td {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  text-align: left;
  padding-left: 0.3em;
  padding-right: 0.3em;
}

.footnote {
  width: 20%;
  margin-top: 2.5em;
  margin-right: 80%;
}


/*---------------------------------------------------------------------*/
/*    Papers                                                           */
/*---------------------------------------------------------------------*/
.paper { 
  display: table;
  width: 90%;
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 1em;
  border: 1px solid #e0e0e0;
  background: #f8f8f8;
}

.paper-title {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 90%;
  margin-bottom: 1em;
  text-align: center;
}

.paper-abstract {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 90%;
}  

.paper-download {  
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  text-align: right;
}

/*---------------------------------------------------------------------*/
/*    Table of Contents Style ...                                      */
/*---------------------------------------------------------------------*/

.idtable {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%; 
  width: 100%;
}

.idcol {
  width: 50%;
  vertical-align: top;
}

.idmark {
  font-weight: bold;
  font-style: italic;
  font-size: 110%;
  padding-top: 1em;
}

.id2 {
  padding-left: 1.2em;
}

.id2:before {
  content: "... ";
  text-align: right;
  width: 1em;
  margin-left: -1.2em;
}


table > tbody > tr:first-child > .idmark {
  padding-top: 0pt;
}

.idhead {
  font-family: verdana, arial, helvetica, sans-serif;
  font-style: italic;
  font-weight: bold;
  font-size: 140%; 
  text-align: center;
  padding-top: 0.5em;
  padding-bottom: 1em;
}


/*---------------------------------------------------------------------*/
/*    Produced by Skribe (TM) style ...                                */
/*---------------------------------------------------------------------*/

.ending {
  margin: 1em;
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: x-small;
  margin-top: 2em;
  border-top: solid 1px #d0d0d0;
  border-left: dashed 1px #d0d0d0;
  color: #808080;
  background: #f7f7f7;
  padding: 0.5em;
}

.ending > :link, .ending > :visited {
  color: #80b0f0;
  text-decoration: none;
}

.ending > :link:hover, .ending > :visited:hover {
  background-color: transparent;
  text-decoration: underline;
}

a:link img, a:visited img {
  border-style: none;
}

.buttons {
  float:right;
  width: 166px;
}

.w3c {
  background: url('images/xhtml.gif') center no-repeat;
  padding: 1px;
  width: 80px;
  height: 15px;
  display:block;
  float:left;
}

.css {
  background: url('images/css.gif') center no-repeat;
  padding: 1px;
  width: 80px;
  height: 15px;
  display:block;
  float: right;
}

.buttons > :link:hover {
  background-color: #c0d8f0;
}

.w3c span, .css span {
  display: none;
}