/* --- Side bar styles --- */
body.sidebar { background-color: #999999; margin: 0px; }
frameset { border: 0px; }
frame    { frameborder: 0; }

/* Menu links font-size: smaller; */
a:link.nav    { color: #06456b; text-decoration: none; }
a:visited.nav { color: #06456b; text-decoration: none; }
a:active.nav  { color: #06456b; text-decoration: none; }
a:hover.nav   { color: #FF6666; text-decoration: underline; }

table.nav  { border: 0px; border-spacing: 0px; border-collapse: collapse; margin: 0px; padding: 0px; width: 100%; }
td.navhead { border: 0px; margin: 0px; padding: 0px; border-spacing: 0px; background-color: black; vertical-align: center; text-align: left; }
td.nav     { border: 0px; margin: 0px; padding: 0px; border-spacing: 0px; background-color: #c0c0c0; width: 100%; }

.copynotice { font-size: xx-small; text-color: black;  text-align: right; }
.blockimg { display: block; border: 0px; }

/* --- Tweak some HTML elements --- */
body
{
  font-family: 'bitstream vera sans', 'Lucida Grande', Geneva, Arial, Verdana, sans-serif;
  font-size: 12px;
}

/* default fonts and sizes  */
p	     	{ font-size: 12px; }
td,tr,th,li	{ font-size: 12px; }
pre         { font-family: 'bitstream vera sans mono', Monaco, fixed, sans-serif; }
h1          { font-size: 180%; }
h2          { font-size: 150%; }
h3          { font-size: 130%; }   /* only used in the FAQ */
h4          { font-size: larger; } /* only used in the FAQ */
img         { border: 0; }

/* default link colors */
a		{ color: #06456b; }
a:visited	{ color: #06456b; }
a:hover		{ color: #FF6666; text-decoration: underline; }
a:active	{ color: #FF0000; }
a.hidden	{ text-decoration: none; color: #000000; }

/* --- DocBook 'Paragraphs'. Note that class names are case sensitive! --- */
.SCREEN     { background-color: #E0D0D0; padding: 0.5ex; overflow: auto; }
.QUESTION   { border-top: dashed thin; font-weight: bolder; }

/* DocBook Inline elements */
.GUIBUTTON, .GUILABEL, .GUIMENU, .GUIMENUITEM { font-style: italic; }
.USERINPUT  { font-size: larger; font-weight: bolder; }
.FILENAME   { font-family: courier, fixed, sans-serif; }