/* $Id: $ */

body {
    font-family: verdana, "trebuchet MS", helvetica, sans-serif;
    font-size: 10pt;
    margin: 9px 9px 0 9px;
    padding: 0;
    background-color: #ffffff;
}

/* http://www.sovavsiti.cz/css/hr.html */
#rainline {
    height: 2px;
    background: #fff url(/rainline.gif) no-repeat scroll center;
}

a {
    color: blue;
}

a:hover {
    color: darkred;
    text-decoration: underline;
}

img {
    border: none;
}

h1, h2, h3, h4, h5, h6 {
    color: #ee0000;
    padding-left: 0px;
}

li {
    margin-top: 0.25em;
    margin-bottom: 0.00in;
}

h1 {
    font-size: 18pt;
}

h2 {
    font-size: 14pt;
}

.section_bar2 {
    font-weight: bold;
    font-size: 150%;
    clear: both;
/* background-color: #e5ecf3; */
    background-color: #dedede;
}

.section_bar3 {
    font-weight: bold;
    font-size: 120%;
    clear: both;
/* background-color: #e5ecf3; */
    background-color: #dedede;
}

hr {
    width: 33%;
}

.highlights {
    background-color: #ffffcc;
    padding: 0.5em;
/*   margin: 1em 2em 1em 1em; */
}

.highlights .orderedlist {
    margin-top: -1.00em;
    margin-bottom: 3.0em;
}

.highlights .orderedlist li {
    margin-top: -0.60em;
    margin-bottom: 1.00em;
    font-size: 75%;
}

/*
 * Adapted from:
 * http://alistapart.com/articles/multicolumnlists -- with thanks
 */

.highlights ol {
    margin: 0 0 1em 2em;
    margin-top: 2em;
    margin-bottom: -3em;
    padding: 0.5em;
}

.title {
    font-size: 14pt;
}

.highlights ol li {
   /*
    * Stipulate the height of each item so that vertical
    * return = items * height
    */
    line-height: 1.3em;

   /*
    * Clear the default margins and padding so we can style the list from
    * scratch
    */
    margin: 0;
    padding: 0;
}

/*
 * If li position is left static, IE disables hyperlinks in the list in all
 * but the final column.  This rule will be processed only by IE because only
 * IE believes that theres a level above HTML: */
* html .highlights ol li {
    position: relative;
}
 
/* The horizontal position of each column */
.highlights ol li.column1 { margin-left: 0em; }
.highlights ol li.column2 { margin-left: 35em; }

/*
 * Bring the first item of each column back up to the level of item 1.
 * Vertical return = items * height.
 * NOTE: This must be adjusted whenever the number of items is changed.
 */
.highlights ol li.column2.reset
{
  margin-top: -54.7em;
}

tt, .code {
	font-family: courier new,courier,fixed;
	font-style: normal;
	font-weight: bold;
	color: black;
	font-size: 100%;
}

.dacs {
	font-family: courier new,courier,fixed;
	font-style: normal;
	font-weight: bold;
	color: red;
	font-size: 100%;
}

.dacs-name {
	font-style: normal;
	font-weight: bold;
	color: red;
	font-size: 100%;
}

.varname, .property, .envar, .function,
.returnvalue, .constant, .symbol, .type {
    font-family: courier new,courier,fixed;
    font-style: normal;
    font-weight: bold;
    color: red;
    font-size: 100%;
}

.parameter {
    font-family: courier new,courier,fixed;
    font-style: normal;
    font-weight: bold;
    color: red;
    font-size: 100%;
}

.literal, .acronym, .option {
    font-family: courier new,courier,fixed;
    font-style: normal;
    font-weight: bold;
    color: black;
    font-size: 100%;
}

.command, .application {
    font-family: courier new,courier,fixed;
    font-style: normal;
    font-weight: normal;
    color: red;
}

.programlisting, .screen {
    font-family: courier new,courier,fixed;
    font-style: normal;
    font-weight: bold;
    font-size: 80%;
    background-color: #e5ecf3;
    color: black;
    margin: 0 0.25in;
    margin-top: 0.10in;
    margin-bottom: 0.10in;
    padding: 0.25em;
    /* border: black solid 1px; */
    border: #630 1px dashed;
}

.note, .tip, .important, .warning {
    background-color: #ffffcc;
/*   color: #036; */
    color: black;
    padding: 0.5em;
    margin: 1em 2em 1em 1em;
    border: black solid 1px;
}

.note p, .important p, .tip p, .warning p {
    margin: 0.5em 0 0 0;
    padding: 0;
}

.example h3, .informalexample h3, .note h3,
.important h3, .tip h3, .warning h3 {
    margin: 0 0 0.5em 0;
    text-align: left;
    font-size: 14px;
}

.example, .informalexample {
	background-color: #e5ecf3;
	border: black solid 1px;
	color: #000;
	padding: 0.5em;
	margin: 1em 2em 1em 1em;
}

.example p {
	line-height: 1em;
	padding: 0;
	margin: 0;
}

.example pre, .example p > code {
	font-size: 13px;
}

tt-bold {
	font-family: monospace;
	font-weight: bold;
}

#top-logo {
    margin-top: -0.10in;
    margin-bottom: 0.00in;
}

#top-nav td a {  
    font-style: normal;
    font-weight: bold;
    color: blue;
    font-size: 70%;
}

#top-nav td a:hover {
    color: darkred;
    text-decoration: underline;
}

#bottom-nav td a {  
    font-style: normal;
    font-weight: bold;
    color: blue;
    font-size: 70%;
}

#bottom-nav td a:hover {
    color: darkred;
    text-decoration: underline;
}

.faq-q {
    font-weight: bold;
    background-color: #e5ecf3;
    margin-bottom: 0.15in;
    margin-top: 0.25in;
}

#faq-s {
    font-size: 120%;
    font-weight: bold;
    background-color: lightblue;
    margin-bottom: 0.15in;
    margin-top: 0.25in;
}

#bigblurb {
    font-size: 120%;
    font-style: italic;
/*  font-weight: bold; */
}

#topblurb {
    font-size: 85%;
    font-style: italic;
    font-weight: bold;
    text-align: justify;
    margin-left: 5em;
    margin-right: 5em;
}

#endblurb {
	font-style: italic;
	text-align: center;
}

#copyright {
	font-size: 60%;
	font-style: italic;
	font-weight: bold;
}

#svn-tag {
	font-size: 60%;
	font-family: monospace;
	font-weight: bold;
}

#lastmod {
	font-weight: bold;
	font-size: 80%;
	text-align: center;
}

#endsig {
	font-size: 80%;
	font-weight: bold;
	text-align: center;
}

#std-table {
    visibility: visible;
    width: 100%;
    position: relative;
}

#std-table table {
    font-size: 10pt;
/*    background-color: #dddddf; */
    background-color: #e5ecf3;
}

#std-table td {
    padding: 0 4px;
    border-left: 1px solid #ccc;
    font-weight: bold;
}

#std-table tr {
}

#std-table th {
    color: dodgerblue;
    font-size: 100%;
    font-weight: bold;
    background-image: none;
    padding-left: 5px;
/*    text-align: center; */
}

.download-table {
    font-size: 85%;
}

.download-inner-table {
    font-size: 85%;
}