/* $Revision: #2 $ $Date: 2003/12/31 $ */

body {
margin:0;
padding:0;
text-align:center;
font: 13px 'Lucida Grande', Arial, Helvetica, Verdana, Sans-Serif;
color: #031530;
}

#container {
margin:0 auto;
padding:0;
width:980px;
text-align:left;
background:white;
}

#navigation {
margin:0;
padding:0;
z-index:19;
}

/* ----------------( header )----------------------------- */

#header {
float:none;
display:none;
margin-top:50px;
padding:20px 15px 0px 10px;
height:80px;
}

/* ----------------( nav bar )----------------------------- */

#navbar {
display:none;
}

/* ----------------( info bar )----------------------------- */

#infobar {
display:none;
}

/* ----------------( side bar )----------------------------- */

#sidebar {
padding:0;
margin:80px 0px 0px 0px;
border:none;
list-style:none;
width:260px;
z-index:10;
float:right;
}
#sidebar ul {
list-style-type:none;
margin:0;
padding:0;
margin-bottom:20px;
}
#sidebar div * li {
margin:0;
padding:0;
font-size:95%;
}
#sidebar div * li a {
margin:0;
display:block;
padding:2px 10px 2px 10px;
border:none;
background:none;
}
#sidebar div * li a:link {
/*color:rgb(134,121,100);*/
}
#sidebar div * li a:visited {
/*color:rgb(134,121,100);*/
text-decoration:none;
}
#sidebar div * li a:hover {
color:rgb(243,137,26);
}
#sidebar h4 {
font-weight:bold;
font-size:120%;
margin:0;
padding:3px;
padding-left:30px;
color:#5b5b5b;
border-bottom:1px solid white;
margin-bottom:10px;
}
#sidebar div.contents {
margin-bottom:15px;
background:rgb(236,236,236);
}
#sidebar div.contents li {
border:none;
text-indent:-25px;
margin-left:25px;
}
#sidebar div.contents li a {
display:inline;
}
#sidebar .related li {
margin-left:5px;
}
#sidebar div.manual {
margin-bottom:15px;
background:rgb(236,236,236);
}
#sidebar div.manual li {
margin-left:5px;
}
#sidebar div.related {
background:rgb(236,236,236);
}
#sidebar div * a{
color:#5b5b5b;
text-decoration:none;
}
#sidebar div.related * a:hover{
color:#000000;
text-decoration:underline;
}

/* ----------------( content )----------------------------- */
#content {
text-align:left;
float:left;
margin:0;
margin-top:0;
padding:0;
background:white;
min-height:600px;
width:880px;
z-index:1;
}
#text {
position:relative;
padding:0;
z-index:2;
}
h1,h2,h3,h4 {
font-size:24px;
line-height:24px;
letter-spacing:-.02em;
}
h5,h6,h7 {
font-size:21px;
line-height:21px;
letter-spacing:-.02em;
margin-top:2.5em;
margin-bottom:15px;
}
#text hr {
border:none;
height:1px;
background:rgb(239,239,239);
}

/*


#text h1.title {
margin-top:2.5em;
margin-bottom:0.5em;
position:relative;
border-top:1px rgb(239,239,239) solid;
padding:4px;
line-height:1.5em;
font-size:1.7em;
color:#5b5b5b;
}
#text * h2.title,h3.title,h4.title,h5.title,h6.title {
margin-top:5.0em;
margin-bottom:0.5em;
border-top:1px rgb(239,239,239) solid;
padding:5px;
font-size:24px;
line-height:1.5em;
color:#5b5b5b;
color:#000000;
}
#text div.article div.sect1 h2 {
margin-top:1.5em;
}
#text * ul {
list-style-type:square;

}
#text .highlight a {
font-weight:bold;
}
#text .question p {
margin:0;
font-weight:bold;
}
#text .answer p {
margin-top:0;
}
#results .index {
font-weight:bold;
}
#results .link {
font-weight:bold;
}
#results h3 {
text-align:right;
}
#results td {
padding:5px;
}
#results .highlight {
background:rgb(157,179,221);
background:#fdf5e6;
}*/

/* ----------------( manual content )----------------------------- */

#manual * h1.title,h2.title,h3.title,h4.title {
border-top:1px solid rgb(239,239,239);
padding-top:15px;
margin:0;
margin-top:3.5em;
margin-bottom:20px;
}

#manual * h5.title,h6.title {
border-top:1px solid rgb(239,239,239);
padding-top:15px;
margin:0;
margin-top:3.5em;
margin-bottom:15px;
}

#manual * h6 {
margin-top:2.5em;
margin-bottom:15px;
}

#manual * h7 {
font-size:21px;
line-height:21px;
font-weight:bold;
margin-top:2.5em;
margin-bottom:15px;
display:block;
}

/*
#manual * h5.title,h6.title,h7.title {
margin-top:4em;
letter-spacing:1px;
border-top:1px solid rgb(239,239,239);
}

#manual * h1,h2,h3,h4,h5,h6 {
margin-top:4em;
margin-bottom:15px;
font-size:1.75em;
font-weight:normal;
}
*/

#manual div.book h1 {margin-top:1.5em;}
#manual div.preface > div > div > div > h2 {margin-top:1.5em;}
#manual div.part h1 {margin-top:1.5em;}
#manual div.chapter > div > div > div > h2 {margin-top:1.5em;}
#manual > div.sect1 > div > div > div > h2 {margin-top:1.5em;}
#manual > div.sect2 > div.titlepage > div> div > h3 {margin-top:1.5em;}
#manual div.chapter > div.sect1 > div.sect2 > div > div > div > h3 {margin-top:5.0em;}
#manual div.appendix h2 {margin-top:1.5em;}
#manual div.bibliography h2 {margin-top:1.5em;}
#manual div.index h2 {margin-top:1.5em;}
#manual * div.toc p {font-size:13.5px;line-height:1.4em;}
#manual * div.toc p {
font-size:13.5px;
line-height:1.4em;
}

#manual * div.example,div.figure {
margin:0;
margin-top:30px;
}


#content * div.blockquote-title {
font-size:21px;
font-weight:bold;
padding:0;
margin:0;
margin-bottom:5px;
display:block;
}

#content * div.blockquote-title > p {
padding:0;
margin-top:10px;
}

/*
#manual * div.list-of-tables p {
margin-top:40px;
font-size:13.5px;
line-height:1.4em;
}
#manual > div.chapter * h5 {
margin-top:3.5em;
margin-bottom:0;
}
#content * div.indexdiv > h3 {
border-top:1px #DDDDDD solid;
color:rgb(68,68,68);
margin-top:4.0em;
padding-top:0.5em;
}

#sidebar div.contents * div.index li {
text-indent:0px;
margin-left:10px;
}

#manual * div.example > p.title > b  {
color:rgb(100,99,95);
}

#manual * div.figure > p.title > b  {
color:rgb(100,99,95);
}*/


/* ----------------( footer )----------------------------- */

#footer {
clear:both;
padding:150px 0px 20px 35px;
margin:0;
color:rgb(102,102,102);
font:11px/1.6em Tahoma,Verdana,Arial,Helvetica,sans-serif;
}

#footer-banner {
margin-top:7px;
border:none;
position:relative;
left:-25px;
}

/* ----------------( forms )----------------------------- */

form {
padding-left:2em;
}
.form-input {
border:#B8B9B9 solid 1px;
font:12px Verdana, sans-serif;
-moz-border-radius:2.5px;
width:380px;
}
.form-input-small {
border:#B8B9B9 solid 1px;
font:12px Verdana, sans-serif;
-moz-border-radius:2.5px;
width:40px;
}
.form-req-input {
border:#B8B9B9 solid 1px;
font:12px Verdana, sans-serif;
-moz-border-radius:2.5px;
width:380px;
}
.form-input-variable {
border:#B8B9B9 solid 1px;
font-family:Verdana, sans-serif;
-moz-border-radius:2.5px;
}
.form-req-input-pre {
border:#B8B9B9 solid 1px;
font:14px monospace;
-moz-border-radius:2.5px;
width:380px;
}
.form-item {
font-weight:bold;
}
.form-search {
border:1px solid silver;
padding:3px;
font-size:110%;
}
.quick-search {
display:inline;
padding:0;
margin:0;
}
.quick-search-input {
border:1px solid rgb(195,195,189);
padding:2.5px;
margin-left:65px;
width:143px;
-moz-border-radius:2.5px;
font-size:110%;
}
.quick-search-submit {
margin-left:5px;
vertical-align:top;
}
.quick-search-workaround {
display:inline;
border:none;
padding:0;
margin:0;
text-align:right;
}


/* ----------------( links )----------------------------- */

a{
text-decoration:none;
}

a:link {
color:#093F90;
text-decoration: none;
padding: 1px 2px;
background: #F0F5FA;
border-bottom: 1px solid #D6E2EE;
}
a:visited {
color:#093F90;
padding: 1px 2px;
background: #F0F5FA;
}
a:hover {
color:#042962;
background:#D6E2EE;
}



/* ----------------( other )----------------------------- */

#tracker {
border-color:silver;
}

.programlisting,.screen {
color:#000000;
border:1px solid #F0F0F0;
padding:5px 5px 5px 5px;
margin-right:15px;
font-family:Andale Mono, monospace;
font-size:11px;
/*border-radius:2.5px;*/
-moz-border-radius:2.5px;
overflow:auto;
/* background:#F5F5F5; */
}
.programlisting    {color:#000000;}
.programlisting .s {color:#0030CE; color:#9C6500;} /* literal */
.programlisting .k {color:#31659C; color:#0030CE;} /* keyword */
.programlisting .t {color:#9C6500; color:purple;}
.programlisting .c {color:#3F7F5F;} /* comment */
.programlisting .j {color:#3F7F5F;}

.screen {
color:rgb(0,255,0);
background:#000000;
border:none;
padding:5px 5px 5px 5px;
margin-right:15px;
font-family:Andale Mono, monospace;
font-size:11px;
/*border-radius:2.5px;*/
-moz-border-radius:2.5px;
overflow:auto;
/* background:#F5F5F5; */
}

img {border:none;}

.shot-right {
margin-left:20px;
margin-bottom:10px;
}

.informalfigure,.mediaobject {
display:inline;
}

#totop {
display:none;
}

#logo {
margin:15px 0px 0px 680px;
}

.figure {
margin-bottom:15px;
}

div.qandaset * dt {
text-indent:-2.2em;
margin-left:2.2em;
}

.rss-icon {
position:relative;
left:6.0em;
top:3.75em;
display:block;
text-align:left;
margin-top:0px;
padding-top:4px;
margin-bottom:0px;
padding:0px;
clear:both;
}

div.rounded div {
  height: 1px;
  overflow: hidden;
}