body {background-color:#f0f8ff; font-family: sans-serif}

a {color:#3399cc; text-decoration:none; font-weight:bold}
a.charindex {color:#3399cc}
a.menu {color:yellow}
a.menuon {color:white}

h2.meta {color:navy}
table.menu {background-color:navy}


span.hit {color:white; background-color:navy; font-weight:bold}


table.regexp {background-color:white;}

td.title {text-align:center; color:aqua; font-weight:bold; background-color:navy}
td.regexp {text-align:center; color:purple; font-weight:bold}
td.result {text-align:left; font-weight:bold; background-color:#DDFFFF}




/* global common settings */
span.smallText, div.smallText { font-size: 60%; }
span.mediumText, p.mediumText { font-size: 80%; }

a.smallBlackLink
 {
 font-size: 60%;
 color: black;
 font-weight: bold;
 }

span.red {color:red}


table.bar
 { background-color:#3399cc; width: 100%; text-align: center; border-spacing: 0; border-top: solid thin black; border-bottom: solid thin black;
 }

table.bar td { color: white; font-size: 80%; }

td.descriptionMenu { text-align: left; font-weight:bold }
td.descriptionMenu { font-size:80%; }
td.descriptionMenu > ul { padding-left: 0px; margin-left: 10px;}
td.descriptionMenu ul ul { padding-left: 10px; margin-left: 10px;}
td.descriptionMenu a { color: navy; }

td.descriptionMenu ul li { list-style-type: none; }

 
table.hangingMenu, table.menu { background-color:#f0f8ff; width: 100%; }

table.menu { text-align: right; border-bottom: solid thin black; }
table.hangingMenu { text-align: left; }
table.menu td, table.hangingMenu td { font-size: 80%; }

a.naviWhite
 {
 color:white;
 text-decoration:none;
 font-weight:bold;
 font-family:tahoma,verdana,sans-serif;
 }

a.naviBlack { color: navy; }

a:hover { color:red }