a.navigationBarItem:link     { color: #ffffff; background-color:transparent; font-style:italic; font-size:120%; font-weight: bold; text-decoration: none; white-space: nowrap; }
a.navigationBarItem:visited  { color: #ffffff; background-color: transparent; font-style:italic; font-size:120%; font-weight: bold; text-decoration: none; white-space: nowrap; }
a.navigationBarItem:hover    { color: #990000   ; background-color: transparent; font-style:italic; font-size:120%; font-weight: bold; text-decoration:none; white-space: nowrap; }
a.navigationBarItem:active   { color: #ffffff; background-color: transparent; font-style:italic; font-size:120%; font-weight: bold; text-decoration:none; white-space: nowrap; }

table.mainTable {    
    width: 100%;
	height: auto;
}

table.menuTable {
	width: 100%;
    vertical-align: top;
}


table.mainContextTable {    
    width: 100%;
	height: auto;      
}

table.centeredTable {
	width: 100%;
	text-align: center;
}


td.upperBannerColumn {
    background-color: #f5f5f5;
    border-style: solid;
    border-width: 0.1em;
    border-color: #A7B7D2;
    vertical-align: top;
    height: auto;        
    padding-left:0.3em; 
    text-align:center;

}

td.navigationMenu {
    width: 100%;
    text-align:center;
    vertical-align: top;
    background-image: url(/images/menubg.gif);
    background-position:center;
    padding-left: 0.3em;
    padding-right: 0.3em;
    white-space: nowrap;
}

td.mainContextColumn {
    background-color: #f5f5f5;
    border-style: solid;
    border-width: 0.1em;
    border-color: #A7B7D2; /* A7B7D2 758AAD */
    text-align: left;
    vertical-align: top;
    height: auto;        
    padding-left:0.3em; 

}

td.sideLinksColumn {
    background-color: #f5f5f5;
    border-style: solid;
    border-width: 0.1em;
    border-color: #A7B7D2; /* A7B7D2 758AAD */
    text-align: center;
    vertical-align: top;
    height: auto;        
    padding-left:0.3em; 

}


td.separatorColumn { 
    /*background-color:#CCCC99*/
}

td.navigationColumn {
    width: 100%;
    text-align:center;
    vertical-align: top;
    background-color: #FFCA6A;
}

/*
td.mainContextColumn { 
	border-style: solid;
    border-width: 1;
    border-color: #0000FF;
    font-family: times, arial, verdana, "sans serif";
    font-size: 12pt;
    text-align: left;
    vertical-align: top;
    background-color: #ecf3fe;
    background-color: #E7E8FF;
    background-color: #99CCFF;
	height: *;        
    padding-bottom: 0; 
    padding-top:0; 
    padding-left:5; 
    padding-right:0;
}
*/

td.menuColumn {
	/*border-style: solid;
    border-width: 0.1em;
    border-color: #0000FF; */
    text-align: left;
    vertical-align: top;
    /*background-color: #ecf3fe;
    width: 20%;*/
	height: auto;        
}

tr.upperMenuBarRow {
	vertical-align: baseline;
}

tr.appletMenuRow {
    text-align: center;  
    width: 100%;   
}

td.menuTitle {
    font-size: 14pt; 
    font-weight: bold; 
    font-style: italic;
    color: #000000;
    padding-bottom: 0.4em; 
    padding-top: 0.2em; 
    padding-left: 0.5em; 
    padding-right: 0.2em;
    white-space: nowrap;
}

td.menuSubTitle {
	/*background:#cccccc;  
    font-size: 9pt; 
    font-weight: bold;
    border: 0.3em;
    border-style: outset;
    border-color: #cccccc; 
    color: #0000ff;
    padding-left:1em; 
    padding-right:0.2em;
    white-space: nowrap;*/
}


.centered {
	text-align: center;
}

p.error {color:red}

.terminal {color:#00FF00;
            background-color:#000000;
            float:left;            
            /*white-space:nowrap;*/
            font-weight:bold;
            font-family:monospace;
            font-size:large;
            border-style:solid;
            border-color:#00FF00;
            width:99%;
}


/*
p.dotted {border-style: dotted}
p.dashed {border-style: dashed}
p.solid {border-style: solid}
p.double {border-style: double}
p.groove {border-style: groove}
p.ridge {border-style: ridge}
p.inset {border-style: inset}
p.outset {border-style: outset}

h1 {font-style: italic}
h2 {font-style: normal}
p {font-style: oblique}

body {background-color: yellow}
h1 {background-color: #00ff00}
h2 {background-color: transparent}
p {background-color: rgb(250,0,255)}
*/