/* Stylesheet for html created from docbook */
/* Urs Lindegger 2018-02-19 */

div.navheader
{
 background-image:url(image/dback.jpg);
}

div.navfooter
{
 background-image:url(image/dback.jpg);
}

body {
  background-image:url(image/back.jpg);
}

span.package {
   font-weight: bold;
}

span.command {
   color:lime;
   background-color:black;
   font-family: Monospace;
   font-size: 120%;
}

pre.programlisting {
   background-color:white;
   font-family: Monospace;
}

colgroup {
   background-color:white;
}