pre, p, li, blockquote {
  /* font-family: Consolas, Menlo, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif; */
  /* font-family: courier; */
  font-family: Helvetica, "Times New Roman", Times, serif;
  font-size: 100%;
  margin-bottom: 10px;
  overflow: visible;
  width: auto;
  /*padding: 5px;*/
  /* background-color: #eee; */
  /*width: 650px!ie7;*/
  width: 90%;
  padding-bottom: 20px!ie7;
  /*max-height: 600px;*/
}

.indent {
	margin-left: 32px;
}


pre {
	margin-left: 32px;
     font-family: monospace;
     font-size: 100%;
}

.small {
	font-size: 95%;
}

body {
	background-color: #dedede;  /* #2e3436; */ /* #425678;*/ /* #f6f4f2;*/ /*#F17E23; orange*/
    /*#627698;*/
    /*#efefef;*/
    #FFFFFF;
    color: #000000;
    background-color: black;
	background-color: #dedede;

   
  /* font-family: courier; */
  font-family: Helvetica, "Times New Roman", Times, serif;
}

ul {
	padding-top: 5px;
}
li {
	font-size: 100%;
	margin: 3px;
}

.inset {

    font-size: 110%;
    width: 97%;
    color: #000022;

    padding: 5px 5px 5px 5px;
    padding-left: 12px;
    margin-right: 12px;

    border: 1px solid #454545;
   
    background-color: #ababab;  

    display: block;
    unicode-bidi: embed;
    font-family: monospace;
    white-space: pre;


}

.inset-nopre {

     font-size: 120%;
     width: 75%;

	margin-left: 25px;
     padding: 15px 15px 15px 15px;
     background-color: #cdcdcd;
     border: 2px dashed #ababab;

    display: block;
    unicode-bidi: embed;
    font-family: monospace;


}

div .section {

     background-color: #ffcccc; 
     padding: 25px;

}

hr {
	margin-top: 22px;
	margin-bottom: 22px;	

	/*margin-top: 40px;*/
	/*margin-bottom: 40px;*/
}

hr.section  {
	margin-top: 40px;
	margin-bottom: 40px;

	/*width: 80%;*/
}

.quotations {
	padding-left: 15px;

}

.announcement {
	
	/*border-top: 3px solid black;
	margin-top: 30px;
	margin-bottom: 45px;*/
}

.source {
   font-size: 12pt;
   color: #555555;
   margin-left: 12px;
}

.source a {
   text-decoration: none;
}

.note {
    color: blue;
	visibility: hidden;
	height: 0px;
}

.main, .menu {
	float: left;
	width: 75%;
	margin-left: 30px;
	margin-bottom: 38px;
	overflow: visible;
	/*border-left: 2px dashed black;*/

	background-color: #dedede;
}

.menu {
	/*background: #efefef;*/
	border-right: 1px dashed #bcbcbc;
	padding: 12px;
	height: 100%;
	margin-top: 15px;
	width: 170px;

	background-color: #dedede;
}
/*a:link, a:visited {*/
a:link, a:hover, a:active {
  /*color: #062d68;*/
  /*color: #284f8a;*/
  color: #062d57;
  
  padding: 2px 1px 0;

  text-decoration: none;
  /*border-bottom-color: #ababde;*/
  border-bottom: 1px dotted #676789;

  /*border-bottom: 1px dashed #999;*/
  display: inline;
  /*font-weight: bold;*/
}
a:visited {
  color: #284f8a;
  color: #173e79;
   /*border-bottom-color: #676789;*/

}


/*
a:visited {
  color: #284f8a;
  text-decoration: none;
  border-bottom: 1px dashed #999;
}*/

a:hover {
  color: blue;
  background: #dedede;
}
/*
h3 {
	margin-bottom: 1px;
	padding-bottom: 1px;
}
*/
h1, h2, h3, h4, h5, h6 {
    /*margin: 5px 0 5px 0;
    padding: 0;*/
    line-height: 1;
}

h1 {
	font-size: 135%;
	/*font-family: Georgia;*/
	color: #232367;	
}
h2 {
	font-size: 125%;
	color: #232367;	
    padding-top: 10pt;
}
h3 {
	font-size: 115%;
}

.smaller {
  font-size: 90%;
}

.caption {
    font-size: 12pt;
    width: 70%;
    margin-left: 10px;
    margin-bottom: 50px;
}

a img {
 border:none;
}

#admin p {
	font-size: 90%;
	font-style: italic;
	color: #121212;

}

#admin h3 {
    font-size: 85%;
}

.sublink {
     font-size: 90%;
     margin-left: 25px; 
     line-height: 80%;
}

.prompt {
     font-weight: bold;
     color: #00aa00;
}


/* for tables */
.col0 {
     position: absolute;
     margin-left: 2%;
     font-weight: bold;
}

.col1 {
     position: absolute;
     margin-left: 8%;
}

.test {
     color: blue;
     font-weight: bold;
}

.highlight {
     color: #000077;
     
}

.inset-nopre2 {

    font-size: 110%;
    width: 97%;
    color: #000022;

    padding: 12px 12px 12px 12px; 
    padding-left: 12px;
    margin-right: 12px;

    border: 1px solid #454545;
   
    background-color: #ababab;  

    display: block;
    unicode-bidi: embed;
    font-family: monospace;

    line-height: 1.5;

}