/*
 * Biopathways-workbench.org
 *
 * Page structure
 *	+--------------------------------+
 *	| Banner                         |
 *	+--------------------------------+
 *	| Menu                           |
 *	| +----------------------------+ |
 *	| | Menubar                    | |
 *	| +----------------------------+ |
 *	+--------------------------------+
 *	| Body                           |
 *	| +-----------+ +--------------+ |
 *	| | SideMenu  | | BodyArea     | |
 *	| | +-------+ | | +----------+ | |
 *	| | | Side  | | | |Breadcrumb| | |
 *	| | | Menu  | | | +----------+ | |
 *	| | | bar   | | | +----------+ | |
 *	| | |(table)| | | |Content   | | |
 *	| | +-------+ | | +----------+ | |
 *	| +-----------+ +--------------+ |
 *	+--------------------------------+
 *	| Footer                         |
 *	+--------------------------------+
 */





/**********************************************************************/
/*
 * Override standard styles
 */
html, body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 90%;
	color: #000000;
	margin: 0px;
	padding: 0px;
}

/* Kludge to force a vertical scrollbar on Mozilla/Firefox for
 * all pages, whether long or not.  This avoids having the scrollbar
 * come and go, and the centered menubar jump left and right from
 * page to page.
 */
html {
	height: 100%;
}
body {
	min-height: 101%;
}
p {
	margin: 0.5em 0 1em 0;
}
h1 {
	font-size: 110%;
	font-weight: bold;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	letter-spacing: 0.35em;
	color: #0066CC;
	margin: 0;
	padding: 0;
	border-bottom: 1px solid #CCC;
}
h2 {
	font-size: 100%;
	font-weight: bold;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #336699;
	padding-top: 3em;
	padding-bottom: 0;
	margin-top: 0;
	margin-bottom: 0;
	border-bottom: 1px dashed #DDD;
	clear: both;
}
h3, h4 {
	font-size: 95%;
	font-weight: bold;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #555;
	padding-top: 1em;
	padding-bottom: 0;
	margin-top: 0;
	margin-bottom: 0;
	clear: both;
}
img {
	border: none;
}
a:link {
	color: #003377;
}
a:visited {
	color: #003355;
}
a:hover {
	color: #005577;
}
a:active {
	color: #003377;
}





/**********************************************************************/
/*
 * Page layout sections
 */
div#BannerArea {
	margin: 0 0 10px 0;
	border-bottom: 1px solid #DDD;
}
div#Banner {
	background: #DADAEC;
}

div#Search {
/* turn off search for now */
	display: none;
	position: absolute;
	right: 10px;
	top: 10px;
}
form#SearchForm {
	margin: 0;
	padding: 5px 0 5px 0;
}
input#SearchText {
	margin: 0;
	padding: 0;
	font-size: 90%;
	width: 10em;
	border: 1px solid #DDD;
}
input#SearchButton {
	margin: 0;
	padding: 2px;
	font-size: 90%;
}


/**
 * Top menubar
 */
div#Menu {
	margin: 0;
	padding: 0 0 0 5px;
	width: 97%;
	max-width: 97%;
	font-size: 110%;
	font-family: Times New Roman, serif;
	text-align: center;
}
#Menubar {
	margin: 0;
	padding: 0 0 10px 0;
	width: 97%;
	max-width: 97%;
	list-style: none;
	list-style-type: none;
}
#Menubar li {
	margin: 0;
	padding: 0 10px 2px 5px;
	display: inline;
	white-space: nowrap;
}
#Menubar li a {
	color: #555;
	padding: 0 0 0 15px;
	background: url(Images/Box.gif) no-repeat left 3px;
	text-decoration: none;
}
#Menubar li a:hover {
	color: #000;
	background: url(Images/BoxFilled.gif) no-repeat left 3px;
	text-decoration: underline;
}

li.MenuItemHilight {
	border-bottom: 1px solid #DDD;
}
#Menubar li.MenuItemHilight a {
	background: url(Images/BoxFilled.gif) no-repeat left 3px;
}




/**
 * Body of page.  Contains SideMenu and BodyArea.
 */
div#Body {
	padding: 0 10px 0 10px;
	margin: 15px 0 0 0;
}



/**
 * Side menu
 */
div#SideMenu {
	position: absolute;
	left: 10px;
	margin: 0;
	padding: 0;
	font-size: 110%;
	font-family: Times New Roman, serif;
}
#SideMenubar {
	color: #000;
	padding: 0;
	margin: 0;
}
#SideMenubar ul {
	color: #000;
	padding: 0 0 0 10px;
	margin: 0;
}
#SideMenubar li {
	list-style: none;
	list-style-type: none;
	margin: 5px 0 5px 0;
}
#SideMenubar .SideMenuTitle {
	font-size: 100%;
	font-weight: bold;
	border-bottom: 1px solid #DADAEC;
	margin: 0px 0 10px 0;
}
#SideMenubar .SideMenuBlank {
	font-size: 5px;
	line-height: 5px;
}
#SideMenubar a {
	color: #000077;
	text-decoration: none;
}
#SideMenubar a:hover {
	color: #003377;
	text-decoration: underline;
}




/**
 * BodyArea
 */
div#BodyArea {
	position: relative;
	left: 0px;
	margin: 0 0 0 8em;
	padding: 0 10px 0 10px;
	border-left: 1px solid #DDD;
	top: -1px;
}


/**
 * Breadcrumb
 */
div#Breadcrumb {
	font-size: 70%;
	margin: 5px 0 10px 0;
	padding: 0;
	color: #555;
}
div#Breadcrumb a:link {
	color: #555;
}
div#Breadcrumb a:visited {
	color: #555;
}
div#Breadcrumb a:hover {
	color: #000;
}


/**
 * Content within BodyArea
 */
div#Content {
	padding: 1em 0 0 0;
}



/**
 * Footer
 */
div#Footer {
	font-size: 70%;
	text-align: center;
	margin: 2em 0 0 0;
	padding: 0 0 1em 0;
	clear: both;
}





/**********************************************************************/
/*
 * Special styles
 */

/**
 * Table of contents
 */
table.TOC {
	vertical-align: top;
	width: 50%;
	margin-left: auto;
	margin-right: auto;
	text-align: center;
}
table.TOC td {
	padding: 2px;
	text-align: left;
}
table.TOC td.Title {
	font-weight: bold;
	text-align: center;
	letter-spacing: 0.3em;
	color: #55A;
	border-bottom: 1px solid #DDD;
}


.ColumnHeading {
	font-weight: bold;
	color: #000066;
	border-bottom: 1px solid #B9B9FF;
}


/**
 * Class hiearchy diagrams
 */
div.ClassHierarchy {
	margin-top: 1em;
	margin-left: 5em;
	margin-bottom: 1em;
}
div.ClassHierarchy ul {
	list-style: none;
	list-style-type: none;
	margin: 0;
	padding: 0 0 0 2em;
}
div.ClassHierarchy li.ClassHierarchyClass {
	margin: 0;
	padding: 0 0 0 15px;
	color: #000066;
	border-left: 1px solid #DDD;
	background: url(Images/BoxFilled.gif) no-repeat left 3px;
}
div.ClassHierarchy li.ClassHierarchyClassHere {
	margin: 0;
	padding: 0 0 0 15px;
	color: #480348;
	border-left: 1px solid #DDD;
	background: url(Images/BoxFilledHilite.gif) no-repeat left 3px;
}
div.ClassHierarchy li.ClassHierarchyClassHere a:link {
	color: #480348;
}
div.ClassHierarchy li.ClassHierarchyClassHere a:visited {
	color: #480348;
}
div.ClassHierarchy li.ClassHierarchyClassHere a:hover {
	color: #480348;
}
div.ClassHierarchy li.ClassHierarchyField {
	font-family: "Courier New", Courier, monospace;
	color: #550055;
	margin: 0;
	padding: 0 0 0 15px;
	border: none;
	background: #F8F8F8;
}




/**
 * General tables
 */
table.General {
	border: 1px solid #DDD;
}
table.General td {
	padding: 2px 5px;
	margin: 0;
}
table.General td.Title {
	font-weight: bold;
	color: #555;
	border-bottom: 1px solid #DDD;
	vertical-align: bottom;

}




/**
 * Marked blocks.
 */
.Note {
	margin: 2em;
	padding: 10px;
	border-left: 1px solid #55A;
	color: #338;
}
.DesignNote {
	margin: 2em;
	padding: 10px;
	border: 1px dashed #760079;
	color: #760079;
}
.Alert {
	margin: 2em;
	padding: 10px;
	border: 1px solid #B9B;
	color: #838;
	background: #F8F0F8;
}
.Updated {
	font-size: 70%;
	font-weight: normal;
	letter-spacing: 0em;
	float: right;
	text-align: right;
	margin-top: -1.3em;
	padding: 0;
}



/**
 * Special fonts used in-line.
 */
.ClassName {
	font-weight: bold;
	font-family:  Georgia, Times New Roman, serif;
	color: #557;
}
.Java {
	font-weight: bold;
	font-family: "Courier New", Courier, monospace;
	color: #000066;
}
.LearnMore {
	text-align: right;
	font-style: italic;
	color: #557;
}



/**
 * Nicely-spaced lists.
 */
ul.LinkList li {
	margin: 10px 0 10px 0;
}
ul.ItemList li {
	margin: 10px 0 10px 0;
}


table.FeatureTable {
	width: 90%;
	border: 1px solid #CCC;
}
table.FeatureTable .NameColumn {
	width: 15em;
	font-weight: bold;
	color: #779;
}
table.FeatureTable .ValueColumn {
}
table.FeatureTable td {
	margin: 0;
	padding: 2px;
	border-bottom: 1px solid #DDD;
	vertical-align: top;
}

.AlignRight {
	float: right;
	text-align: right;
}
.AlignCenter {
	margin-left: auto;
	margin-right: auto;
	text-align: center;
}





/**********************************************************************/
/*** OLD styles to be deleted ***/
/** old data model spec classes **/
table.DataSpec {
	border: 1px solid #CCC;
	width: 30em;
	padding: 0;
	margin: 0 1em 0 1em;
}
table.DataSpec td {
	font-family: Georgia, Times New Roman, serif;
	padding: 2px;
	margin: 0;
	background: #F9F9FF;
}
table.DataSpec td.Title {
	font-weight: bold;
	color: #555;
	background: #DADAEC;
	border-bottom: 1px solid #E8E8E8;
}
.DataSpecCol1 {
	width: 1px;
}
.DataSpecCol2 {
	width: 17em;
}
.DataSpecCol3 {
	width: 15em;
}


/** old **/
table.ClassHierarchy {
	border: none;
	padding: 0;
	margin: 0;
}
table.ClassHierarchy td {
	padding: 0 4px 0 0;
	margin: 0;
	vertical-align: top;
	font-family: "Courier New", Courier, monospace;
	color: #000066;
	font-weight: bold;
}
table.ClassHierarchy td img {
	border: none;
	padding: 0;
	margin: 0;
}

/** old **/
.SBMLNote {
	font-style: oblique;
	color: #004891;
	border-left: 2px solid #004891;
	padding-left: 5px;

}
/** old **/
.HierarchyHeading {
	background-color: #DDECFF;
	font-weight: bold;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #000066;

}
/** old **/
.SBMLHeading {
	font-weight: bold;
	background-color: #ECFFF8;
	color: #006666;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #000066;
}