/* Used by INC/footer.html and a couple of files in shell/ */
.lastMod {
	font-size: 80%;
	font-style: italic;
}

/* this overrides our crazy default "ul li" color:black style, which must be
   eliminated! Also, reduces spacig between lines. */
.leftmenu li {
	list-style-type: none;
	margin-bottom: .6em;
	color: #8c0039;  /* Panix purple */ /* FIXED */
}


/* left-side menu bar defaults, applies to all pages. Individual pages
   will override this style on their specific menu item, using that item's
   specific id, with in-line styles. */
.leftmenu { 
	overflow:auto; 
        position: absolute;  
	top: 0px; left: 0px; bottom: 0px;
	width: 215px;
	margin-left: 0px;
        margin-top: 90px;
	padding-top: 10px;
	padding-left: 15px;
	background: #afbfcf;
	background: #bcd;
	color: #8c0039;	
	font-weight: normal;
	font-family: sans-serif;
}

/* Each menu layer shouldn't indent so much */
.leftmenu li {
	margin-left: -22px;
}

.leftmenu li li {
	margin-left: -35px;
}

.leftmenu a, .leftmenu a:visited {
	text-decoration: underline;
	color: #8c0039;
}
.leftmenu a:hover {
	text-decoration: none;
	background: #8c0039;
	color: #f9f9f9;
}


.leftmenu li.leaf {
	list-style-image: none;
}


.leftmenu li.helpleaf  {
	list-style-type: none;
	list-style-image: none;
        margin-bottom: 2px;
	color: #8c0039;  /* Panix purple */ 
}




/* Leave a little space between submenus and their parent */
.leftmenu li.sub ul {
	margin-top: 10px;
}

/* By default all submenus are hidden  */
.leftmenu ul ul {
	display: none;
}

/* this is for the main topics in the leftmenu */
.title {
 font-size: 120%;
  font-weight: bold;
  color: #8c0039;
  margin-left: -12px;
}


/* This group is for the pages linked from the home page */
div.banner	{
	background-color:#f3f6fa; /* color above the dotted line */
	position: absolute;
	float: right;
	top:0px; left:0px; right:0px;
	padding-top:5px; padding-bottom:5px;
	padding-left:25px; padding-right:25px;
	border-bottom:3px dotted #123456;
	z-index:1;
	overflow:auto;
	max-height:100px;
}

.container {
	color: #121212;
        background: #f8fbff;
	margin: 0px;  
}


/* I think this is used by various subpages but the home page conflicts.
	(or at least it did before I changed the div to id="main")
   This is solved by page-specific styles but see if we can/should get rid
   of this, or make it an id instead of a class. */
.main {
	position: absolute;
	top:90px; left:230px; right:0em; bottom:0em;
	padding-left:3em;
	padding-right:3em;
	background: #f8fbff;
	overflow: auto; 
}

.highlight {
	background-color:#eee; 
	background-color:#dfe8f0; 
	color: #121212;
	padding:1em;
}

/* Things not done yet that we want in production pages */
.XXXXXXXXXX	{ display:none; }

h4 {
	color: #8c0039;
	font-size: 130%;
	font-weight: bold;
	font-family: Verdana, Arial, Helvetica, sans-serif
}
h5 {
	color: #8c0039;
	font-size: 110%;
	font-weight: bold;
	font-family: Verdana, Arial, Helvetica, sans-serif
}
h6 {
	color: #8c0039;
	font-size: 100%;
	font-weight: bold;
	font-family: Verdana, Arial, Helvetica, sans-serif
	margin-top: -10px; 
	margin-bottom: -10px
}

.whitebg {
	background: #ffffff;
}

/* these were a.textlink. Trying this out as the default. */

a, a:link {
	text-decoration: underline;
	font-weight: bold;
	color: #8c0039;
}
/* We're not coloring visited links differently for now.
a:visited {
	color: #606060;
}
*/
a:hover {
	text-decoration: none;
	background: #8c0039;
	color: #ffffff;
}

a.glink, a.glink:link {
	font-family: sans-serif;
	text-decoration: underline;
	font-weight: normal;
	color: #8c0039;
}
a.glink:visited {  
	color: #8c0039;
}
a.glink:hover {
	text-decoration: none;
	color: #FFFFFF;     
	background: #8c0039;
}

/* navlink is only used by the home page and one other (?). Maybe useful
   to put that tr in an include file, and put these style defs there */
a.navlink, a.navlink:visited {
	font-family: sans-serif; 
	font-variant: small-caps; 
	text-decoration: underline;
	font-weight: bold;
	font-size: 14pt;
	color: #8c0039;
}
a.navlink:hover{
	text-decoration: none;
	color: #8c0039;
	background: #f0f0de;  
}

.big {
   font-size: 120%;
   font-weight: bold;
}

.tight {
  line-height: 10%;
}

.spaced {
     margin-bottom: 1em;
}

.dblspaced {
     margin-bottom: 1em;
     padding-top: 1em;
}

.indent {
     margin-left: 45px; 
     margin-right: 45px; }

.smheader {
             font-size: 120%;
             font-family: sans-serif;
             font-weight: bold;
             color: #8c0039;
}

.helpheader {    
        color: #8c0039;  
        font-size: 100%; 
        font-weight: bold;
        font-family: Verdana, Arial, Helvetica, sans-serif;
}       

.entry {
         font-family: monospace;
         font-weight: bold;
       }

.unbroken {
  white-space: nowrap;
}