/* unused */
/*
.question {
	font-size: larger;
	font-weight: bolder;
}
*/

/* unused */
/*
.screen_io {
	font-weight: bold;
	font-family: mono;
}
*/

/* unused */
/*
.fixed_text {
	font-family: monospace;
	font-style: normal;
	font-weight: normal;
	background-color: #e5FFFF;
}
*/

/* default for all links */
* a			{color: #0000ff; text-decoration: underline; }
* a:hover		{color: #0000ff; text-decoration: underline overline; }
* a:visited		{color: #990099; text-decoration: underline; }
* a:visited:hover	{color: #990099; text-decoration: underline overline; }
* a:active		{color: #000000; text-decoration: underline overline; }

/* LHS */

#LHS {
	margin-top: 0;
	margin-right: 22%;
	margin-bottom: 0;
	margin-left: 1%;
	line-height: 1.4em;
}

/* slightly greater vertical spacing between list items */
#LHS ul { 
  margin: 0.5em 0 0.5em 0;
}

/* close spacing within multiple lines of the same list item */
#LHS li { 
  margin: 0 0 0 0;
}

h2 {
  background: #cfffff;
}

/**************** Navigation bar, right side of screen **************/

/* nocss portions are not displayed when CSS is available */
.nocss    { 
  display : none 
}

/* create the RHS navigation panel, fixed on screen */
#RHS {
	overflow: auto;
	width: 20%;
	position: fixed;
	float: right;
	margin-right:  0;
	right: 0;
	margin-top:  0.5em;
	left: auto;
	top: 1em;
	bottom: 1em;
	text-indent: 0.5em;
	padding: 0;
	background: #fffaf0;
	color: #000;
	border: 0px solid #000;
	line-height: 1.5em;
}

#RHS hr {display: none;}

body>#RHS {
  right: 1%;
  margin-right: 0;
}

#RHS p { 
 padding: 0;  
 text-indent: 0;
}

#RHS ul { 
 padding: 0;  
 text-indent: 0;
}

#RHS li { 
  display: block;
  text-decoration: none;
  margin-left: 10px;
  text-indent: -10px;
}

/* link */
#RHS a
{
  display: block;
  text-decoration: none;
  margin-left: 10px;
  text-indent: -10px;
}

/* non-link item in menu, usually pointing to current page */
/* here_non_link is currently same within #LHS, #RHS */
#RHS .here_non_link,
#LHS .here_non_link
{
  display: block;
  text-decoration: none;
  font-weight: bolder;
  margin-left: 10px;
  text-indent: -10px;
}

/* link */

#RHS a			{color: #0000ff; text-decoration: none; }
#RHS a:hover		{color: #0000ff; text-decoration: underline overline; }
#RHS a:visited		{color: #990099; text-decoration: none; }
#RHS a:visited:hover	{color: #990099; text-decoration: underline overline; }
#RHS a:active		{color: #000000; text-decoration: underline overline; }

/* #RHS a:before{ content: url('right-arrow'); } */

.bare_image img { border: none; }

/* classs for 'Navigation' heading in RHS menu panel */
.page_group {
   margin-top: 0.5em;
   background: #cfffff;
}
/* unused */
/*
.top_center {
   text-align: center;
}
*/

hr {
  margin: 0 17em 0 0em;
}

/* unused? */
.list_compact {
  margin-left: 1%;
  padding-left: 1%;
}
/* unused? */
/*
.urlpath {
  padding-top: 1em;
  margin-left: 1em;
}
*/

table
{ 
margin-left: auto;
margin-right: auto;
}
/* unused? */
/*
.edited_text {
	font-weight: normal;
	font-family: monospace;
	background-color: #FFFFDD;
}
*/

/* unused? */
/*
.tty {
	font-weight: bold;
	font-family: monospace;
	background-color: #FFFFFF;
}
*/


/* unused? */
/*
.nowrap { white-space: nowrap; }
*/

.ajaxSearch_highlight {
  color: #000000;
  background-color: #ffff00;
}

/* like pre but for any text */
/* unused? */
/*
.nobr { white-space: pre; }
*/

/* one last end line, e.g., "== END =" or ". . ." */
.endline { text-align:center; }

/* tables */
table {
	border-width: thin;
	border-spacing: 1px;
	border-style: solid;
	border-color: #000000;
	border-collapse: collapse;
	background-color: #ffffff;
}
table th {
	border-width: thin;
	padding: 4px;
	border-style: solid;
	border-color: #000000;
	background-color: #ffffff;
}
table td {
	border-width: thin;
	padding: 4px;
	border-style: solid;
	border-color: #000000;
	background-color: #ffffff;
}