/* 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:#ECE9D8;
	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:#669900;
	border-top:1px solid #66cc00;
	border-left:1px solid #66cc00;
	border-right:1px solid #006633;
	border-bottom:1px solid #006633;
}

.nav a:hover, .lang a:hover {
	background-color:#99CC00;
	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:#006600;
	border-top:1px solid #009900;
	border-left:1px solid #009900;
	border-right:1px solid #003300;
	border-bottom:1px solid #003300;
}

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

/* the boxes */
body { background:#D3B6AB url(./curvalca.jpg) no-repeat top left;
       dgfsdgsdg margin:0; padding:96px 16px 16px 176px; width:auto}
.menu {
	position:absolute;
	left:14px;
	top:183px;
	width:144px;
}
.nav a { display:block; width:144px; height:22px; 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; }
}