body {  margin: 10px;  padding: 0;  border: 0;
	padding-left: 475px; /* jello-mold padding works with expander */
	padding-right: 475px; /* jello-mold padding works with expander */
	font-family: Verdana, Arial, Helvetica, sans-serif; /* Arial too compressed */
	font-size: 84%;
	text-align: center; /* needed only for old browsers */
	background-color: white; 
	}
/* ==== color scheme === */
/*	website background - not adopted - FFFFE0=lightyellow #F5F5F5=whitesmoke #FFF8DC=cornsilk */

/*  #eef1f4; not adopted - from UniStuttgart - uni light blue */
/*  #cbe7ef is adopted from UniStuttgart - uni mid blue */
/* 	#CC6600  is adopted from UT-Austin - burnt orange */

/* ==== scheme to create liquid col 3 - variable width === */
/* see www.positioniseverything.net/articles/jello-expo.html */
/* minwidth IE hack from Stu Nichols at http://www.webreference.com/programming/min-width/index.html */
.expander {   /*  CSS to counteract padding effect */
	position: relative;
	text-align: left;
	margin-left: -475px;
	margin-right: -475px;
	min-width: 950px; /* sum of paddings - needed for Safari */
	}
.innerwrapper { /* padding traps interior margins so no escape of innerwrapper */
	padding: 1px;
	}
/* start the modified Holly hack, requres a zero height \*/
/* \*/
* html .sizer,
* html .expander,
* html .innerwrapper {height: 0;}
/* end the modified Holly hack */

/* === css for header === */
#headerarea {
	margin: 0;
	padding: 0;
/*	float: left; */
/*	width: 900px; */
/*	width: 100%; */
	height: 142px;
/*	background-color: red; */ /* visual for diagnostics to see what is exposed */
	background-color: #cbe7ef; /* uni mid blue */ /*neecded only for IE6 - gaps */
	}
#logo {
	float: left;
	width: 142px;
	height: 142px;
	background-color: #B0E0E6;
	background-color: #eef1f4; /* uni light blue */
	background-color: #cbe7ef; /* uni mid blue */	
/*	background-image: url(http://www.uni-stuttgart.de/itlr/img/itlrlogo.jpg); */
/*	border: 1px solid black; */ /* div box border */
	}

img.T {
	margin: 25px auto;
	padding: 5px; /* needed for display of the img border */
	position: relative;
	display: block; /* required to permit centering */
	border:1px solid black;
	background: white;
    }
#headertop_box {
	margin-left: 142px;
	height: 71px;
	background-color: #cbe7ef; /* uni mid blue */
	border-bottom: 1px solid black; 
/*	border: 1px dashed green; */
	}
h1.texstan_name {
	margin: 18px 0px 0px 2px;
	padding: 0px;
	float: left;
 	display: inline; /* bugfix for IE6 - does not affect FireFox */
	color: #CC6600;  /* font color CC6600=burnt orange */
	font-size: 40px;	
	font-size: 3.0em;	
	font-weight: bolder; 
	font-variant: small-caps;
	font-family: Georgia, "Times New Roman", Times, serif;
	text-align: center; /* centers the text in the h1 box */
/*	border: 1px solid black; */
	}
h1.uni_itlr {
	margin: 30px 12px 2px 2px;	
	padding: 5px;
	float: right;
 	display: inline;  /* bugfix for IE6 - does not affect FireFox */
	font-size: 1.0em;
	font-size: 12px;
	font-weight: bolder; 
/*	font-variant: small-caps; */
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-align: right; /* centers the text in the h1 box */
	background-color: white;  /* FFF is white */
	background-color: #DFDFDF;
/*	border: 1px solid black; */
	}
h1.uni_names {
	margin: 18px 12px 2px 2px;
	margin: 20px 12px 2px 2px;
	padding: 2px;
	float: right;
 	display: inline;  /* bugfix for IE6 - does not affect FireFox */
	font-size: 0.7em;
	font-size: 11px;
	font-weight: bolder; 
/*	font-variant: small-caps; */
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-align: right; /* centers the text in the h1 box */
	background-color: white;  /* FFF is white */
	background-color: #DFDFDF;
/*	border: 1px solid black; */
	}
span.ut {color: #CC6600 }
span.uni {color: #000000 } /*span.uni {color: #B0E0E6 } */
#headerbottom_box {
	margin-left: 142px;
	height: 70px;
	background-color: #cbe7ef; /* uni mid blue */
/*	border: 1px dashed red; */
/*	background-color: cornsilk; */
	}
img.MGH {
	margin-top: 0px;
	padding: 15px 15px 15px 15px;
	float: right;
 	display: inline; /* bugfix for IE6 - does not affect FireFox */
    }
#headermenu1 {  margin: 0;  padding: 0;
	margin-top: 8px;
	float: left;		
	font-weight: bold;
	font-size: 1.0em;
	}
#headermenu1 a, #headermenu1 a:visited {
	text-decoration: none;
	color: black;
	float: left;
	}
#headermenu1 a:hover, #headermenu1 a.select, #headermenu1 a.select:visited {
	color: #CC6600; /* sets font color Burnt Orange*/
	border-bottom: 1px solid black; /* size of bar under selection when cursor over selection */
	}
#headermenu1 ul {  margin: 0;  padding: 0;
	padding-bottom: 25px;
	list-style-type: none;
	}
/* === css for navigation  === */	
#headermenu1 ul li {  margin: 0;  padding: 0;
	padding: 1px;
	float: left;
/* line-height: 20px;  */		
	display: inline; /* to remove line breaks between elements - no longer stacked boxes */
	}
.clearfloats { clear:both; } 
/* clearing floats, from www.positioniseverything.net/easyclearing.html */
.clearfix:after { /* after is a pseudo element */
	content: "."; /* period before div closes, then cleared */
	display: block; /* inline elements do not respond to clear properly */
	height: 0; /* makes period not visible */
	clear: both;  /* makes container clear the period */
	visibility: hidden;  /* further insures period is not visible */
	}
.clearfix {display: inline-block;} /* fix for IE Mac */
/* Holly hack, backslash required  \*/
* html .clearfix {height: 1%;}
.clearfix {display: block;}
/* end clearing floats */

/* === css for col 1 === */	
#col1 { margin: 0px;  padding: 0px;
/* this div forms left border of web page */
	width: 70px; 
	min-height:600px; /* DustinDiaz @ www.dustindiaz.com/min-height-fast-hack */
	height:auto !important;  /* DustinDiaz @ www.dustindiaz.com/min-height-fast-hack */
	height:600px; /* DustinDiaz @ www.dustindiaz.com/min-height-fast-hack */
	position: absolute;
	top: 0px; left: 0px;
	display: inline;
	background-color: #CBE7EF;  /* sets color of 600px col - otherwise set by body bg color */
/* note - rest of col1 color set by contentarea1 div */
	}
/* === div needed to fill color of col 1 beyond 600 px - otherwise body color appears === */
#contentarea1  { background-image: url("images/CBE7EF.70.12.gif"); background-repeat: repeat-y; background-position: 0 0; position: relative }
#contentarea2  { background-image: url("images/CCCCCC.150.12.gif"); background-repeat: repeat-y; background-position: 70px 0; position: relative }
/* === css for col 2 and the section navigation menu === */	
#col2 {  margin: 0px; padding: 0;
   	width: 150px;
	overflow: hidden;
	min-height:600px; /* DustinDiaz @ www.dustindiaz.com/min-height-fast-hack */
	height:auto !important; /* DustinDiaz @ www.dustindiaz.com/min-height-fast-hack */
	height:600px; /* DustinDiaz @ www.dustindiaz.com/min-height-fast-hack */
	position: absolute;
	top: 0px; left: 70px;
	background-color: white; /* sets color of 600px col - otherwise set by body bg color */
/* note - rest of col2 color set by body bg color - otherwise activate contentarea2 div*/
	}
#col2menu { margin: 0;  padding: 0;
	font-size: 1.0em;	
	font-weight: bold;
	text-align: center;
	}
#col2menu a, #col2menu a:visited {
	text-decoration: none;
	color: black;
	}
#col2menu a:hover, #col2menu a.select, #col2menu a.select:visited {
	color: #CC6600; /* sets font color Burnt Orange*/
	border-bottom: 1px solid black; /* draws line under the hovered selection */
	}
#col2menu ul {
	margin: 10px;
	padding: 0px;
	list-style-type: none;
	background-color: #CBE7EF;
	}
#col2menu ul li {
	margin: 0px;
	padding: 10px 15px; /* padding L/R for style */
	}
#col2menu ul li.first, #col2menu ul li.second {
	padding: 23px 15px;
	border-bottom: 2px dotted black;
	}
/* === css for col 3 === */	
#col3 {  margin: 0; padding: 15px;
	margin-left: 240px;  /* L margin = col1 + col2 + col2 padding  */
	border-right: 15px solid #cbe7ef; /* forms right border of web page */
	line-height: 1.7em;
	min-height:600px; 
	height:auto !important;  /* required for FireFox */
	height:600px;  /* required for IE 6 */
	background-color: white;
	}
#col3 h1 {  margin: 0;  padding: 0;
	padding-bottom: 10px;
	font-size: 1.5em;
	}
#col3 h2 {  margin: 0;  padding: 0;
	padding-bottom: 10px;
	font-size: 1.3em;
	}
#col3 h3 {  margin: 0;  padding: 0;
	padding-bottom: 10px;
	font-size: 1.1em;
	}
#col3 p {  margin: 0;  padding: 0;
	padding-bottom: 10px;
	font-size: 1.0em;
	}
#col3 a {
	text-decoration: none;
	color: blue;
	font-size: 1.0em;
	}
#col3 ul {  margin: 0;  padding: 0;
	padding-bottom: 10px; /* needed to set block spacing */
	margin-left: 15px;  /* the indent - any li padding will add */
	list-style-position: inside;
	text-indent: -15px;
	margin-left: 35px;
	}
#col3 ul li {  margin: 0;  padding: 0;
	padding: 5px;
	}
#col3 ul li ul {  margin: 0;  padding: 0;
	padding-bottom: 10px; /* needed to set block spacing, li padding will add */
	margin-left: 10px; /* indent to align under parent ul - any li padding will add */
	list-style-position: inside;
	}
#col3 ul li ul li {  margin: 0;	padding: 0;
	padding: 5px;
	}
#col3 dl {
	margin: 0;
	padding: 0;
	}
#col3 dl dt {
	margin: 0;
	padding: 15px 0 0 0;
	}
#col3 dl dt a {
	padding-left: 5px;
	}
#col3 dl dd {
	margin: 0;
	padding: 05px 0 0 25px;
	text-align: justify;
	line-height: 1.7em;
	}
/* === css for footers === */
#footerarea {  margin: 0; padding: 0;
	clear: both;
	height: 20px;
 	background-color: #cbe7ef; /* forms bottom border of web page */
	}
#footerarea p {  margin: 0; padding: 0;
	padding-top: 3px;
	padding-left: 75px;
	font-size: 10px;
	text-align: left;
	}
#footerarea a {
	text-decoration: none;
	color: blue;
	}
/* === css for sitemap - h7 === */
.leftright {  margin: 0;  padding: 0;
	padding-top: 15px;
	width: 700px;
	}
.leftright a  {
	font-size: 12px !important;
	font-size: 0.8em !important;
	text-decoration: underline !important;
	color: #CC6600 !important;
	color: black !important;
	}
.leftright ul {  margin: 0;  padding: 0;
	padding-bottom: 10px !important; 
	}
.leftright ul li {  margin: 0;  padding: 0;
	line-height: 1.0em !important;
	}
.leftblock, .middleblock, .rightblock {
	float: left;
	width: 220px;
	}
.middleblock, .rightblock {
	padding-left: 10px;
	}
/* ============ */
span.firstword {
	font-size:1.3em;
	color: black;	
	font-weight: bold;
	}
.section {  /* style used inside <a> tag for reference to website section */
	color: #cc6600 !important;
	}
.eqn {  /* style for all equations that occur within text and tables */
	font-family: Georgia, "Times New Roman", Times, serif;
	font-style: italic;
	font-size: 1.0em !important;
	}
.text {   /* style for all alphanumeric descriptors in tables */
	font-family: Verdana, Arial, Helvetica, sans-serif  !important; 
	}
.datasetname {   /* style for all pdf file names */
	font-family: "Lucida Console", Monaco, monospace;
	}
.data {   /* style for all numeric data in tables */
	font-family: "Lucida Console", Monaco, monospace;
	}
.var {   /* style for all TEXSTAN input variables in text and tables */
  	color: green;  /* note: will become blue if inside <a> tag */
	font-family: "Lucida Console", Monaco, monospace;
	}
	
/* ==== css for images === */	
img.eqn {
	display: block; 
	margin: 20px 0px 0px 40px;
	padding: 0;
/*	background-color: white; */
	}
img.eqninline {
	padding-left: 15px;
	}
img.DOS {
	display: block; 
	margin: 20px 0px 0px 20px;
	padding: 0;
/*	background-color: white; */
	}
img.Temail {
	margin: 25px auto;
	margin-top: 25px;
	margin-left: 90px;
	padding: 5px; /* needed for display of the img border */
/*	position: relative; */
	display: block; /* required to permit centering */
	border:1px solid black;
	background: white;
    }
img.pdf {
	border-style: none;
	padding-left: 5px;
	}
/* === css for tables in sections: overview and modeling === */
table.vardefs thead tr th {
/* font info assigned using class= .var, .text, .data  */
	font-weight: normal;
	text-align: left;
	background-color: #FFFFCC;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	}
table.vardefs tr td {
/* font info assigned using class= .var, .text, .data  */
	padding-left: 10px;
	font-weight: normal;
	text-align: left;
	background-color: white;
	}
/* === css for tables in lbl.1, lpf.1, tb.1, and if4  === */
table.input thead tr th {
	width: 90px;
  	color: green;
	font-family: "Lucida Console", Monaco, monospace;
	font-size: 1.0em;
	font-weight: normal;
	text-align: right;
	background-color: #FFFFCC;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	}
table.input tbody tr td {
	width: 90px;
  	color: black;
	font-family: "Lucida Console", Monaco, monospace;
	font-size: 1.0em;	
	font-weight: normal;
	text-align: right;
	background-color: white;
	}
p.var3 {
	padding-left: 35px !important;
	padding-right: 50px !important;
	margin-left: 40px !important;
	text-indent: -40px !important;
	}
p.var4 {
	padding-left: 75px !important;
	padding-right: 50px !important;
	}
/* === css for description tables in lbl.3 and lpf.3 === */
table.outputdefs thead tr th {
  	color: black;
	font-size: 1.0em;
	font-weight: normal; 
	text-align: left;
	background-color: #FFFFCC;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	}
table.outputdefs tr td {
	font-weight: normal;
	text-align: left;
	background-color: white;
	}
/* === css for data tables in lbl.3 and lpf.3 === */
table.outputdata thead tr th {
  	color: green;
	font-family: "Lucida Console", Monaco, monospace;
	font-size: 1.0em;
	font-weight: normal;
	text-align: left;
	background-color: #FFFFCC;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	}
table.outputdata tr td {
	color: black;
	font-family: "Lucida Console", Monaco, monospace;
	font-size: 0.9em;
	font-weight: normal;
	text-align: left;
	background-color: white;
	}
table.outputdata tfoot tr td {
	font-size: 0.8em;
	font-weight: bold;
	text-align: right;
	padding-right: 18px;
	}
/* === css for references in all sections ==== */	
#ref {
	margin: 0;
	padding: 0;
	}
#ref dl {
	margin: 0;
	padding: 0;
/*	background-color: tan;  */ /* visual for diagnostics */
	}
#ref dl dt {
	margin: 0;
	padding: 0;
	margin-left: 20px;
	font-weight: bold;
	font-size: 1.0em;
/*	background-color: lime; */ /* visual for diagnostics */
	}
#ref dl dd {
	margin: 0;
	padding: 0;
	padding-left: 45px;
	margin-top: -10px;
	margin-top: -21px;
	margin-bottom: 5px;
	line-height: 1.5em;
/*	border: 1px solid black; */ /* visual for diagnostics */
	}
/* === css for glossary section === */	
#gloss {  /* note: gloss div reqd because col1 & col2 supressed */
	margin: 0;  /* remove col3 left margin */
	padding: 20px;
	}
#gloss h2 {
	font-size: 1.2em;
	background-color: #eef1f4; /* uni light blue */
	}
#gloss h2 a.letter {
	padding: 0 5px 0;
	}
#gloss h2 a.left {
	padding-left: 5px;
	}
#gloss h2 a.right {
	color: black;
	padding-left: 30px !important;
	}
#gloss dl {
	margin: 0;
	padding: 0;
/*	background-color: tan; */ /* visual for diagnostics */
	}
#gloss dl dt {
	margin: 0;
	padding: 15px 0 0 0;
/*	background-color: lime; */ /* visual for diagnostics */
	}
#gloss dl dt a {
	color: black;
	font-size: 1.1em;
	font-weight: bold;
	padding-left: 5px;
	} 
#gloss dl dd {
	margin: 0;
	padding: 5px 0 0 25px;
	text-align: justify;
	line-height: 1.7em;
/*	border: 1px solid black; */ /* visual for diagnostics */
	}
/* === css for input variables section === */	
#variables {
	margin: 0;
	padding: 20px;
	}
#variables h2 {
	font-size: 1.2em;	
	background-color: #eef1f4; /* uni light blue */
	}
#variables h2 a.letter {
	padding: 0 5px 0;
	}
#variables h2 a.left {
	padding-left: 5px;
	}
#variables h2 a.right {
	color: black;
	padding-left: 30px !important;
	}
#variables dl {
	margin: 0;
	padding: 0;
	}
#variables dl dt {
	margin: 0;
	padding: 15px 0 0 0;
	}
#variables dl dt a {
	color: green;
	font-family: "Lucida Console", Monaco, monospace;
	font-size: 1.2em;
	font-weight: bold;
	padding-left: 5px;
	}
#variables dl dd {
	margin: 0;
	padding: 05px 0 0 25px;
	text-align: justify;
	line-height: 1.7em;
	}
/* === css for input users section === */	

#users {  margin: 0; padding: 20px;
	margin-left: 70px;  /* L margin = col1 + col2 + col2 padding  */
	border-right: 15px solid #cbe7ef; /* forms right border of web page */
	line-height: 1.7em;
	min-height:600px; 
	height:auto !important;  /* required for FireFox */
	height:600px;  /* required for IE 6 */
	background-color: white;
	}

pre	{   margin: 0; padding: 0;
	margin-left: 60px;
	padding-bottom: 10px;
  	color: black;
	font-family: "Lucida Console", Monaco, monospace;
	font-size: 0.9em;
	font-weight: normal;
	line-height: 1.2em;
	}
#users h1 {  margin: 0;  padding: 0;
	padding-bottom: 10px;
	font-size: 1.5em;
	}
#users h2 {
	font-size: 1.2em;
	background-color: #eef1f4; /* uni light blue */
	}
#users p {  margin: 0;  padding: 0;
	padding-bottom: 10px;
	font-size: 1.0em;
	}
#users span.firstword {   /* style for all TEXSTAN input variables in text and tables */
/*  	color: green;  */
	color: black;	
/*	font-family: "Lucida Console", Monaco, monospace; */
	font-size: 1.1em;
	font-size:1.3em;
	font-weight: bold;
	}
#users a {
	text-decoration: none;
	color: blue;
	font-size: 1.0em;
	}
#users ul {  margin: 0;  padding: 0;
	padding-bottom: 10px; /* needed to set block spacing */
	margin-left: 15px;  /* the indent - any li padding will add */
	list-style-position: inside;
	text-indent: -15px;

	font-size: 1.0em;

	margin-left: 35px;
	}
#users ul li {  margin: 0;  padding: 0;
	padding: 5px;
	}
#users dl {
	margin: 0;
	padding: 0;
/*	background-color: tan; */ /* visual for diagnostics */
	}
#users dl dt {
	margin: 0;
	padding: 15px 0 15px 0;
/*	background-color: lime; */ /* visual for diagnostics */
	}
#users dl dt a {
	padding: 0;
	color: black;
	font-weight: bold;
	font-size: 1.3em;
	} 
#users dl dd {
	margin: 0;
	padding: 5px 0 0 25px;
	text-align: justify;
	line-height: 1.7em;
/*	border: 1px solid black; */ /* visual for diagnostics */
	}

/* === bottom ruler for testing minimum width === */
/* <div class="rulemin">this is XXX px wide with margin: 10px auto</div> */
.rulemin {
	width: 950px;
	text-align: center;
	background-color: #c00;
	color: #fff;
	margin: 10px auto;
	}

/*  ++++++++++++++ MODS for PRINT  +++++++++++++ */

body {
	margin: 0;
	padding: 0;
/*	min-width: 100px; */
	}
		
#headerarea, #col1, #col2  {
	display: none;
	}

.expander {
	margin: 0;
	padding: 0;
/*	min-width: 350px;  */
	}

#contentarea1 {
	margin: 0;
	padding: 0;
	background-image: none;
	}	

#col3, #users {
	margin: 0;
	padding: 0;
/*
	width: 100%;
	width: 70%;
*/
    width: 650px;
/*	float: none; */
/*	text-align: justify; */
	border:none;
	}	

span {
	color: black !important;
	}
.var {
	color: black !important;
	}

table.input thead tr th, table.outputdata thead tr th {
	color: black !important;
	}
	
#col3, #users  a {
	text-decoration: none;
	color: black !important;
	}

#footerarea {  margin: 0; padding: 0;
	clear: both;
	height: 20px;
 	background-color: #cbe7ef; /* forms bottom border of web page */
	}
#footerarea p {  margin: 0; padding: 0;
	padding-top: 3px;
	font-size: 10px;
	text-align: left;
	}
#footerarea a {
	text-decoration: none;
	color: black;
	}

/* =================== */
#gloss h2 {
	display: none;	
		}

#variables h2 {
	display: none;	
		}

/*#gloss dl dd {
	margin: 0;
	padding: 5px 40px 10px 20px;
	text-align: justify;
	text-align: left;
	line-height: 1.7em;
	
	display: none;
	
	}
*/
/*
#gloss dl dt a {
	font-weight: bold;
	font-size: 1.1em;
	color: blue;
	padding-left: 3px;
	
	color: black;
	
	}
*/