/*
 *  $Id$
 *
 *  This file is part of the OpenLink Software Virtuoso Open-Source (VOS)
 *  project.
 *
 *  Copyright (C) 1998-2024 OpenLink Software
 *
 *  This project is free software; you can redistribute it and/or modify it
 *  under the terms of the GNU General Public License as published by the
 *  Free Software Foundation; only version 2 of the License, dated June 1991.
 *
 *  This program is distributed in the hope that it will be useful, but
 *  WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
 *  General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License along
 *  with this program; if not, write to the Free Software Foundation, Inc.,
 *  51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
 *
 */

body
{
    padding-right: 0px;
    padding-bottom: 0px;
    padding-left: 0px;
    padding-top: 0px;
    margin-right: 0px;
    margin-bottom: 0px;
    margin-left: 0px;
    margin-top: 0px;
}

img
{
	border-style: none;
	border-width: 0px;
}
#w3cval
{
  float: right;
}

#left {
	width: 180px;
	background-color: #99B3C5;
	padding: 5px;
	vertical-align: top;
}

#topnav {
	background-color: #86B9D9;
	width: 100%;
}
#mainarea {
	background-color: #EAEAEE;
	padding:10px;
	width: 95%;
}
#mainarea a:visited {
	width: 100%;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #336699;
}
#mainarea a:hover {
	width: 100%;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #009BEC;
}
/*#mainarea ul {
	font-size: 100%;
}*/
#mainarea li {
	font-size: 70%;
	line-height: 175%;
}
#mainarea li li {
	font-size: 100%;
	line-height: 150%;
}
#mainarea li pre {
	font-size: 130%;
}
#main {
	width: 100%;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
#top {
	width: 100%;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
.maintext {
	font-size: 80%;
	color: #333333;
}
.lftmenu
{
	CLEAR: both;
	MARGIN-LEFT: 0cm;
	FONT-FAMILY: Verdana, Tahoma, Verdana, Helv;
	background-image:    url("images/lft_nav_grad1.gif");
	background-repeat: repeat-x;
	padding-right: 1px;
	padding-left: 1px;
	padding-top: 2px;
	width: 180px;
	padding-bottom: 3px;
	margin-bottom: 10px;
	margin-top: 0px;
}
.lftmenu1
{
	FONT-SIZE: 70%;
	FONT-FAMILY: Verdana, Arial, Helvetica, sans-serif;
	color: #333333;
	height: 20px;
	padding: 2px 2px 2px 3px;
	width: 180px;
}
.lftmenu1 a:link {
	color: #333333;
	height: 20px;
/*	text-decoration: none; */
}
.lftmenu1 a:hover {
	color: #FFFFFF;
	height: 20px;
/*	text-decoration: none; */
}
.lftmenu2
{
    COLOR: navy;
    FONT-SIZE: 70%;
    FONT-FAMILY: Verdana, Tahoma, Verdana, Helv;
}
.lftmenu3
{
    COLOR: teal;
    FONT-SIZE: 70%;
    FONT-FAMILY: Tahoma, Verdana, Helv;
}
.lftmenu4
{
	COLOR: #000000;
	FONT-SIZE: 70%;
	FONT-FAMILY: Tahoma, Verdana, Helv;
}
.lftmenu5
{
	COLOR: #000000;
	FONT-SIZE: 70%;
	FONT-FAMILY: Verdana;
	background-image:    url("images/stl_blu1_grad.gif");
	background-repeat: repeat-x;
	height: 25px;
	background-color: #99b3c5;
	font-weight: bold;
}
.cf-toc6 {
	COLOR: #000000;
	FONT-SIZE: 12px;
	FONT-FAMILY: Verdana;
	background-image:    url("images/greygrad1.gif");
	background-repeat: repeat-x;
	height: 25px;
	background-color: #99b3c5;
}

#cf {
	background-color: #99b3c5;
	background-image:    url("images/lft_nav_grad1.gif");
	background-repeat: repeat-x;
}
.lftmenu_title {
	padding: 3px;
	height: 25px;
	font-weight: bold;
	color: #333333;
	background-color: #99B3C5;
	background-image: url(images/stl_blu1_grad.gif);
	background-repeat: repeat-x;
	font-size: 80%;
}
.lftmenu_title a:link {
	padding: 3px;
	height: 25px;
	font-weight: bold;
	color: #333333;
/*	text-decoration: none; */
}
.lftmenu_title a:hover {
	padding: 3px;
	height: 25px;
	font-weight: bold;
	color: #FEFEFE;
	text-decoration: underline;
}
.lftmenu_info {
	CLEAR: both;
	MARGIN-LEFT: 0cm;
	FONT-FAMILY: Verdana, Tahoma, Verdana, Helv;
	color: #000000;
	padding: 2px 2px 2px 8px;
	font-size: 70%;
}

/*navigation tabs level 1*/
#right {
	color: #333333;
	background-position: top;
	vertical-align: top;
	background-color: #EAEAEE;
}

.navtabs {
	font-size: 70%;
	color: #333333;
}
#navtabs {
	color: #333333;
	background-position: top;
	vertical-align: top;
	background-color: #B0CDE4;
}
.navtab_sel {
	font-weight: bold;
	color: #000000;
	background-color: #B0CDE4;
	height: 25px;
	background-image: url(images/sel_nav_grad2.gif);
	background-repeat: repeat-x;
	vertical-align: middle;
	padding-right: 5px;
	padding-left: 5px;
	font-size: 70%;
	border-right-width: 1px;
	border-right-style: solid;
	border-right-color: #FEFEFE;
}
.navtab_sel a:link {
	color: #000000;
/*	text-decoration: none; */
}
.navtab_non_sel {
	color: #333333;
	background-color: #99B3C5;
	height: 25px;
	vertical-align: middle;
	font-weight: bold;
	padding-right: 5px;
	padding-left: 5px;
	font-size: 70%;
	background-image: url(images/stl_blu1_grad.gif);
	border-right-width: 1px;
	border-right-style: solid;
	border-right-color: #FEFEFE;
	background-repeat: repeat-x;
	border-left-width: 1px;
	border-left-style: solid;
	border-left-color: #7F94A5;
}
.navtab_non_sel a:link {
	color: #333333;
/*	text-decoration: none; */
}
.navtab_non_sel a:hover {
	color: #FFFFFF;
	height: 25px;
}

/*navigation tabs level 2*/

.navtabs2 	{
	font-size: 70%;
	color: #666666;
}
#navtabs2 {
	color: #666666;
	vertical-align: top;
}
.navtab_sel2 {
	font-weight: normal;
	color: #000000;
	height: 25px;
	vertical-align: middle;
	padding-right: 5px;
	padding-left: 7px;
	font-size: 70%;
	background-image: url(images/sel2_grad_nav.gif);
	background-repeat: repeat-x;
	background-color: #EAEAEE;
}
.navtab_sel2 a:link {
	color: #333333;
/*	text-decoration: none; */
	padding-right: 4px;
	padding-left: 4px;
}
.navtab_non_sel2 {
	color: #666666;
	background-color: #B0CDE4;
	height: 25px;
	vertical-align: middle;
	font-weight: normal;
	padding-right: 5px;
	padding-left: 5px;
	font-size: 70%;
}
.navtab_non_sel2 a:link {
	color: #666666;
/*	text-decoration: none; */
}
.navtab_non_sel2 a:hover {
	color: #FFFFFF;
	height: 25px;
}
h1 {
	font-size: 110%;
	color: #000000;
}
h2 {
	font-size: 100%;
	color: #889FB1;
}
.tree_list {
  margin:20px;
}
#mainarea p {
	font-size: 70%;
}
h4 {
	font-size: 90%;
	color: #A4BFD5;
}
h3 {
	font-size: 90%;
	color: #99B3C5;
}
.source_table_ {
	margin-left: auto;
	margin-right: auto;
}
.source_table_header {
	font-weight: bold;
	background-color: #99B3C5;
	font-size: 80%;
	color: #FFFFFF;
}
.source_table_data {
	background-color: #AECBE1;
	font-size: 80%;
	padding: 3px;
	padding-top: 3px;
	padding-right: 3px;
}
.source_table_action {
	background-color: #AECBE1;
  text-align: center;
	font-size: 80%;
	padding: 3px;
	padding-top: 3px;
	padding-right: 3px;
}
.copyright {
	font-size: 70%;
	color: #99B3C5;
}

.footer
{
  text-align: center;
  color: blue;
  padding-right: 5px;
  margin-top: 5px;
}

.footer a{
  text-decoration: none;
}

.exp_nav {
	float: right;
	font-weight: normal;
	margin-right: 5px;
	margin-left: 5px;
	margin-bottom: 5px;
	font-size: 70%;
}
#search
{
	width: 100%;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 70%;
	line-height: 175%;
}

#search label
{
  display: block;
  float: left;
  clear: left;
  width: 150px;
}

#search fieldset
{
  margin-bottom: 5px;
}

#search legend
{
  font-style: italic;
}

#search form
{
  padding: 4px;
}

#search table
{
	width: 100%;
  padding: 2px;
}

#search th
{
	text-align: left;
}

#search td
{
	vertical-align: top;
}

.search_nav
{
  text-align: center;
}

/* Example navigation */


#ex_navlist
{
padding: 3px;
margin-left: 0;
padding-bottom: 3px;
border-bottom: 1px solid #778;
/*font: bold 12px Verdana, sans-serif;*/
}

#ex_navlist li
{
list-style: none;
margin: 0;
display: inline;
line-height: 120%;
}

#ex_navlist li a
{
padding: 3px 0.5em;
margin-left: 3px;
border: 1px solid #778;
border-bottom: none;
background: #DDE;
text-decoration: none;
line-height: 120%;
}

#ex_navlist li a:link { color: #448; }
#ex_navlist li a:visited { color: #667; }

#ex_navlist li a:hover
{
color: #000;
background: #AAE;
border-color: #227;
border-bottom: none;
}

#ex_navlist li a.current
{
background: #EAEAEE;
border-bottom: 1px solid #EAEAEE;
line-height: 120%;
}

#ex_navlist li.disabled a
{
background: #F5F4EA;
color: #C9C7BA;
border: 1px solid #C9C7BA;
border-bottom: 1px solid #778;
}

#ex_navlist li.disabled a:link { color: #C9C7BA; }
#ex_navlist li.disabled a:visited { color: #C9C7BA; }

#progressBar {
	float: left;
  background-color: #000000;
  border: 1px solid grey;
  width: 200px;
  height: 18px;
  overflow:hidden;
}

#PBcompleted {
  background-color: #003399;
  height: 18px;
  width: 0%;
}
#PBcontent {
	position:relative;
	top:-18px;
	color:#FFFFFF;
	text-align:center;
}

#initial_state_content{
  background-color: #FFFFFF;
  border: 1px solid #000000;
  height: 500px;
  width: 100%;
  overflow: auto;
}

#initial_state_content pre{
	margin: 0 0 0 0px;
}

#initial_state_content p{
	margin: 0 0 0 0px;
}

#view_source {
}

#filelist {
	float: left;
  background-color: #FFFFFF;
  border: 1px solid #000000;
  width: 150px;
  height: 500px;
  overflow: auto;
}

#filesource {
  background-color: #FFFFFF;
  border: 1px solid #000000;
  height: 500px;
  margin-left:1px;
  width: 80%;
  overflow: auto;
}

#filesource pre{
	margin: 0 0 0 0px;
}

#filelist_nav li
{
	display: inline;
	/* for IE5 and IE6 */
}

#filelist_nav
{
	/* to display the list horizontaly */
	font-family: sans-serif;
	margin: 0 0 0 0;
	padding: 0;
}

#filelist_nav a
{
	font-family: sans-serif;
	width: 99.99%;
	/* extend the sensible area to the maximum with IE5 */
	display: block;
	background-color: #fff;
	text-decoration: none;
	border-bottom: 1px #000 solid;
	color: #000;
}

#filelist_nav a:hover { 
	font-family: sans-serif;
	background-color: orange; 
	color: #000; 
}
#filelist_nav a:visited { 
	font-family: sans-serif;
	color: #000; 
}

#filelist_nav a.current
{
	font-family: sans-serif;
	background-color: orange;
	color: #000; 
}

#run_frame {
  background-color: #FFFFFF;
  border: 1px solid #000000;
  height: 550px;
  margin-left:1px;
  width: 78%;
}

#runfilelist {
	float: left;
  background-color: #FFFFFF;
  border: 1px solid #000000;
  width: 150px;
  height: 550px;
  overflow: auto;
  white-space: nowrap;
}

#runfilelist_nav li
{
	display: inline;
	/* for IE5 and IE6 */
}

#runfilelist_nav
{
	/* to display the list horizontaly */
	font-family: sans-serif;
	margin: 0 0 0 0;
	padding: 0;
}

#runfilelist_nav a
{
	font-family: sans-serif;
	width: 99.99%;
	/* extend the sensible area to the maximum with IE5 */
	display: block;
	background-color: #fff;
	text-decoration: none;
	border-bottom: 1px #000 solid;
	color: #000;
	
}

#runfilelist_nav a:hover { 
	font-family: sans-serif;
	background-color: orange; 
	color: #000; 
}
#runfilelist_nav a:visited { 
	font-family: sans-serif;
	color: #000; 
}

#runfilelist_nav a.current
{
	font-family: sans-serif;
	background-color: orange;
	color: #000; 
}
