
/*title & text*/
h1 { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold } 
h2 { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold } 
h3 { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold }
h4 { color: #4362A5; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold }
h5 { color: #FF6900; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold }
.tablehead { color: #ffffff; font-family: Verdana, Arial, Helvetica, sans-serif;  } 
.staff { color: #949494; font-family: Verdana, Arial, Helvetica, sans-serif; } 

p { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; line-height: 1.2;  } 
b { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; line-height: 1.2; font-weight: bold } 
li,ul,ol,dt,dl { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; line-height: 1.2; } 
code, tt { 
    font-family: "Courier New", monospace;     
    font-weight: bold;
}
.prompt { font-weight: bold;}
.input { color: red;}
.comment { color: dimgray; }
.warning { color: red; }
.note { color: blue; font-weight: bold; }
.console {
    width: 55em;
    border: groove;
    border-width: 2;
    border-color: gray;
    margin-left: 20;
    margin-right: 20;
    padding: 5;
}
.file {
    background: #FCFCC0;
    width: 70em;
    border: double; 
    border-color: gray;
    margin-left: 20;
    margin-right: 20;
    padding: 5;
}
.token { 
    font-weight: bold;
    font-style: italic;
}

.intro, .news, .demo, .download, .documents, .links {
    font-size: smaller;
    padding-left: 5;
    border-left: solid black thin;
    border-top: solid black thin;
}

.intro-item, .documents-item, .links-item {
    margin-left: 10;
    padding-left: 5;
}
.news-item {
    margin-left: 15;
    padding-left: 10;
    border-left: solid #203781 thin;
    border-top: solid #203781 thin;
}

small { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; line-height: 1.2; } 

body { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; }
td, th { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; }

a { color: #203781; }
a:hover { color: #203781; text-decoration: underline }

/*homepage-link*/
a.home { color: #000000; font-size: 11px; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: none }
a.home:hover { color: #000000; font-size: 11px; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: underline }


/*news*/
.headline {  color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold }
a.news { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: none }
a.news:hover { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: underline }


/*menu*/
.menu1 {  color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold }
a.menu1 { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: none; font-weight: bold }
a.menu1:hover { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: none; font-weight: bold }
a.menu2 { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: none; font-weight: bold }
a.menu2:hover { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: underline; font-weight: bold }
a.menu3 { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: none  }
a.menu3:hover { color: #203781; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: underline }


/*footer*/
.footer { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif }
a.footer { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif }
a.footer:hover { color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: underline }


