/* base settings */
* { font-family:"Bitstream Vera Sans",Verdana,sans-serif; font-size:13px; }
tt,pre,code { font-family:"Bitstream Vera Sans Mono",Consolas,"Lucida Console",monospace; }

/* color specifications */
#content {
  background-color:#e8e0d0;
  border-top:1px solid #fffff0;
  border-left:1px solid #fffff0;
  border-right:1px solid #c8c0b0;
  border-bottom:1px solid #c8c0b0;
}

h1, .nav a, .lang a {
  background-color:#b8a888;
  border-top:1px solid #d8c8a8;
  border-left:1px solid #d8c8a8;
  border-right:1px solid #988868;
  border-bottom:1px solid #988868;
}

.nav a:hover, .lang a:hover {
  background-color:#c8b898;
  border-top:1px solid #e8d8b8;
  border-left:1px solid #e8d8b8;
  border-right:1px solid #a89878;
  border-bottom:1px solid #a89878;
}

.nav a.current, .lang a.current,
.nav a.current:hover, .lang a.current:hover {
  background-color:#a08868;
  border-top:1px solid #c0a888;
  border-left:1px solid #c0a888;
  border-right:1px solid #806848;
  border-bottom:1px solid #806848;
}

.nav a, .lang a { color:black; }
.nav a.current, .lang a.current { color:white; }
.version, { border-bottom:1px solid #c8c0b0; }

/* the boxes */
body { background:#d8ccb0 url(caption.gif) no-repeat top left;
       margin:0; padding:96px 16px 16px 176px; }
.menu { position:absolute; left:14px; top:154px; width:144px; }
.nav a { display:block; width:144px; height:17px; padding-top:3px;
         font-weight:bold; text-decoration:none; text-align:center; }
.lang a { display:block; width:144px; height:16px; font-size:11px; padding:0;
          font-weight:normal; text-decoration:none; text-align:left; }
.lang img { border:none; vertical-align:text-bottom; }
h1 { margin:0 0 16px 0; height:32px; padding:8px 0 0 8px;
     font-weight:bold; font-size:24px; }
#content { margin:0; padding:8px; }
#sflogo { display:block; text-align:center; margin-top:16px; }
#sflogo img { border:none; }

/* don't mess up the navigation controls */
.nav a, .lang a { white-space:nowrap; overflow:hidden; }
.menu, .nav, .nav div, .lang div { padding:0; margin:0; }
.lang { margin:16px 0 0 0; padding:0; }

/* now the stuff for normal text */
p { margin:0 0 8px 0; }
h2 { margin:16px 0 8px 0; font-weight:bold; font-size:20px; }
small { font-size:11px; font-style:italic; }
ul,ol { margin:0 0 8px 20px; padding:0; }
li { margin:0 0 4px 0; }

/* some special styles for special pages */
.version { margin:0 0 4px 0; padding:8px 0 0 0; font-size:14px; font-weight:bold; }
.q { margin:16px 0 4px 0; padding:0; font-weight:bold; }
.q code { font-weight:normal; }

dl.ui_item { margin:0 0 4px 0; padding:0; }
dl.ui_item dt { margin:0; padding:0; font-weight:normal; }
dl.ui_item dd { margin:0 0 4px 16px; padding:0; }

#keys { border-collapse:collapse; }
#keys th, #keys td { border:solid 1px #786858; padding:2px; }
#keys th { text-align:left; font-weight:normal; white-space:nowrap; padding-right:8px; }

p.todo { margin:0 0 4px 0; border-bottom:solid 2px #786858; }
p.todo span { font-weight:bold; font-size:20px; margin-right:4px; }
ul.todo { margin-bottom:16px; }

.center { align:center; margin-left:auto; margin-right:auto; }


/* modifications for printing */
@media print {
  h1, #content { background-color:white; border:none; }
  h1 { padding:0; margin:0 0 20px 0; }
  #content { padding:0; margin:0; }
  body { background-color:white; background-image:none; margin:0; padding:0; }
  .menu { display:none; }
}