body {
    font-family: Calibri , Helvetica;
    color: rgb(0, 0, 0) ;
    background-color: rgb(255, 255, 255) ;
	overflow-y: scroll ;
	font-size: 13pt ;
	text-align: justify;
	line-height: 1.5;
}

.header {
    position: fixed ;
    background: white ;
    top: 0px ;
    left: 0px ;
    width: 240px ; 
    height: 100% ;
    z-index: 20 ;
    //border-bottom: 1px solid #898989 ;
    //box-shadow: 2px 2px 5px #898989 ; 
}

.header, .title_text, .menu {
    //background-color: rgba(215, 250, 250, 1);
    //color: rgba(255, 255,255 , 1);
}

.title_text {
    position: absolute;
    top: 30px ;
    left: 0px ;
    right: 0px ;
    height: 40px ;
    text-align: center ;
    
    font-family: Georgia, serif, Arial, Helvetica, Tahoma, sans-serif;
    font-size: 24px ;
    font-weight: bold ;
    
    border-radius: 10px ;
    padding-top: 6px ;
    padding-bottom: 4px ;
    padding-left: 12px ;
    padding-right: 12px ;
	
	color: black;
}

.title_text .subtitle_text {
    font-size: 16px ;
}

.menu_separator  {
    border-bottom: 1px solid #DDDDDD;
    width: 100% ;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}


.menu {
    position: absolute ;
    left: 5px ;
    right: 5px ;
    top: 100px ;
    height: 65px ;
    font-family: Georgia, serif, Helvetica, Arial, sans-serif;
    font-size: 12pt ;
}

.menu table {
    width: 100% ;
}

.menu a {
    padding-left: 10px ;
    color: black;
    cursor: hand ;
}

.menu a:visited, .menu a {
    text-decoration: none ;
}

.menu a:hover {
    text-decoration: underline ;
}

.selected {
    font-weight: bold ;
    color: #8A0808;
    cursor: default ;
}

.selected:before {
    position: absolute ;
    left: 4px ;
    content: "▸";
    margin-right: 10px ;
}

.menu td {
    width: 20% ;
    padding: 2px ;
	padding-left: 10px ;
}

.main_content {
    position: absolute ;
    left: 280px ;
    width: 800px ;
    padding-left: 30px ;
    padding-right: 30px ;
    padding-top: 0px ;
    
    font-family: "Palatino Linotype", "Book Antiqua", Palatino, Helvetica,Arial,sans-serif;
}

.section {
    //border: 2px solid black ;
    //border-radius: 5px ;
    padding: 10px ;
    max-width: 1000px ;
    left: 10px ;
    right: 10px ;
    top: 80px ;
}

.section h1 {
    margin-left: auto ;
    margin-right: auto ;
    text-align: center ;
    font-size: 38pt ;
    color: #000 ;
	margin-bottom: -20px;
}

.section h2 {
    color: #FF0000;
}

.section h3 {
    color: #8A0808;
}



.monospace, .option {
	font-family: Consolas,"Lucida Console", courier new, courier, monospace;
	font-size:13pt ;
}

.monospace, .example_code {
	font-family: Monospace, "Lucida Console", courier new, courier, monospace;
	font-size:12pt ;
	font-weight:bold;
}

.example_code {
    margin: 10px ;
}

.option, .bold {
	font-weight: bold;
}

.highlight {
	color: #FF0000 ;
}

.tm {
//	font-weight: bold ;
}

.example_code {
	background-color: #D6F0FF;
	padding: 5px ;
	max-width: 100% ;
}

.example_option {
    color: rgb(153, 102, 51) ;
}

.internal_link {
    font-weight: normal ;
}


.standard_table {
     text-align: left;
     width: 100%;
/*     font-family: Helvetica,Arial,sans-serif; */
     padding: 10px ;
}

.standard_table th {
    font-family: Helvetica,Arial,sans-serif ;
    padding-left: 5px ;
    padding-right: 5px ;
}

.standard_table td {
    border-top: 1px solid gray ;
    padding-left: 5px ;
    padding-right: 5px ;
}

.standard_table .key_entry {
    vertical-align: top ;
    /*border-right: 1px solid gray ;*/
    padding-left: 10px ;
    padding-right: 10px ;
    padding-top: 5px ;
    padding-bottom: 5px ;
	width:auto;
}


.display_line {
    margin-top:10px ;
    margin-bottom:10px ;
}

.paragraph
{
	padding-top:2em;
}

.comment
{
	font-style: italic;
	font-weight: normal;
	margin-top: 10px;
	color: darkred;
}

.code {
font-family:consolas;
background-color: lightgreen;
}

.subtitle {
	font-size: 0.8em;
	color:darkred;
	font-weight:bold;
}