@charset "iso-8859-1";
body 
	{
	font-size: 100%;
	font-size: 0.85em;
	color: #003366;
	background-color: #cacaca;
	font-family: verdana, arial, sans-serif;
	margin: 5px 5px 5px 5px;
	padding:5px 5px 5px 5px;
	}

/* without the next line, the elements in a table have bigger font size :(  */
td, th {font-size: 0.85em;}

.topMenu, .leftMenu, .footer
	{
	background:    #e4e4e4;
    font-size:     0.8em;
	border-style:  solid;
	border-width:  1px 2px 2px 1px;
	padding:       10px 5px 5px 5px;
	margin:        5px 5px 5px 5px;
	background-image: url(div_menu_bg.gif);
	background-position:top;
	background-repeat: repeat-x;
	}

.leftMenu
	{
	float:         left;
	width:         15%;
	}
	
.topMenu
	{
	width:        98%;
	text-align:   center;
	}
	
.mainBody
	{
	float:            left;
	width:            78%;
	padding:          0.5em;
	margin:           1px 1px 1px 1px;
	background-color: #fdfdfd;
	overflow:         hidden;
	}
	
#mainBodyAlone
	{width: 98%;}
	
.footer
	{
	width:        98%;
	text-align:   center;
	font-size:    0.76em; /* override of previous def */
	clear:        both;
	background-image: url(button_bg.gif); /* override of previous def */
	}

.menuButton, a.button
	{
        border: 1px solid #005D8C;
        background-color:#EFEFEF;
        background-image : url(button_bg.gif);
        background-position : bottom;
        color: #000000;
        margin-top: 0px;
        margin-bottom: 0px;
        padding-top:2px;
        padding-bottom:2px;
        padding-left:1px;
        padding-right:1px;
        text-align: center;
	}

/* the next entry does not work    .menuButton:hover {background-image : url(button_bg_inv.gif);}  */

/*--- the buttons in the leftMenu are displayed vertically, so a small place above and below is needed  --*/
*.leftmenu *.menubutton
	{
		padding: 1px 2px 2px 1px;
		margin:  2px 0px 2px 0px;
	}

#selected {background-image: url(button_bg_inv.gif);}

a:link
	{COLOR: #000099;}
a:visited
	{COLOR: #8A2BE2;}
a:hover
	{
    color: #13597b;
    text-decoration: underline;
    background-color:#FFA34F;
	font-weight: bold;
	background-image : url(button_bg_inv.gif);
	}
a:active
	{COLOR: #FF8C00;}	

a.button:active, a.button:link, a.button:visited
	{
        color: #000000;
        text-decoration: none;
        display: block;
/*        position: relative;*/
        padding-top: 1px;
        padding-bottom: 1px;
        padding-left: 2px;
        padding-right: 2px;
	}	

/* --- for the history after the first menu and for the siteMap ---*/
div.history
	{
	text-align:   left;
	font-weight : bold;  /* does not work if in a table --> see next entries */
	}
div.history table
	{
    border: 0px;
    padding:0px;
	width:  100%;
	}
div.history table td
	{
    margin:       0px;
    padding:      0px;
	font-weight : bold;
	}
div.history table td a
	{
	font-weight : bold;
	}
div.history a:active, div.history a:link, div.history a:visited
	{
    color:           #13597b;
    text-decoration: none;
	font-weight :    bold;
	}
	
img
	{
	padding: 5px 5px 5px 5px;
	}

img.noPadding
	{
	padding: 0px 0px 0px 0px;
	}

h1, h2, h3, h4, h5
{ 
	text-align:center;
	font-weight : bold;
	letter-spacing: 1px;
	background-repeat: repeat-x;
	padding: 2px 2px 2px 2px;
}

h1 
	{
/*	color: #FFA34F; */
	color: #F5F4FF; 
	font-size: 1.5em;
	background-color: #45b0e5;
	background-image: url(bg_h1.gif);
	
	}
h2
	{ 
	color: #F5F4FF; 
	font-size: 1.4em;
	background-color: #13597b;
	background-image: url(bg_h1.gif);
	}
h3
	{
    COLOR:            #F5F4FF; /* overriding a previous */
	font-size:        1.3em;
	background-color: #d0d0d0;
	background-image: url(h3_bg.gif);
	}

h4
	{
	font-size: 1.2em;
	text-align: left;
/*	background-color:#e0e0e0;*/
	background-image: url(h4_bg.gif);
	}

h5
	{
	text-align: left;
	font-size: 1em;
	background-color:#eeeeee;
	background-image: url(h5_bg.gif);
	}

h1.menu, h2.menu, h3.menu
	{
	font-size:      1em;
    padding-bottom: 0px;
    margin-bottom:  0px;
	letter-spacing: 0px;
	}

*.markup
	{
	background-color: MOCCASIN;
	}
	
.clock 
	{
	background-color:  gainsboro;
	float:             right;
    border:            1px solid #005D8C;	
	padding:           0px 8px 0px 8px;
	background-image:  url(cellpic1.gif);
	background-repeat: repeat-x;
	}

.rightSpace
	{
	float: right;
	padding: 1px;
	}
	
li 
	{
	padding-bottom:2px;
	padding-top:   2px;
	}

p.centerCenter
	{
        margin-top: 2px;
        margin-bottom: 2px;
        padding-top:2px;
        padding-bottom:2px;
        padding-left:10%;
        padding-right:10%;
        text-align: center;
	}

table.menu 
	{
	padding: 0;
	border: 0;
	width: 100%;
	}
	
td.menu
	{
        font-size: 0.7em;
        border: 1px solid #005D8C;
        background-color:#EFEFEF;
        background-image : url(button_bg.gif);
        background-position : bottom;
        margin-top: 0px;
        margin-bottom: 0px;
        padding-top:2px;
        padding-bottom:2px;
        padding-left:1px;
        padding-right:1px;
        text-align: center;
	}
	
#selected { background-image : url(button_bg_inv.gif);}
	
a.menu:active, a.menu:link, a.menu:visited, a.menu:hover
	{
        color:           #000000;
        text-decoration: none;
        display:         block;
        position:        relative;
        padding:         1px 1px 1px 1px;
	}
a.menu:hover {
       color: #0011a0;
/*       text-decoration: underline;*/
/*        border: 1px solid #005D8C;*/

	}
a.menu img
	{
	border: 0px;
 	}

table.showCase
	{
    border-left:   1px solid #005D8C;
    border-top:    1px solid #005D8C;
    border-right:  2px solid #005D8C;
    border-bottom: 2px solid #005D8C;
    background-color:gainsboro;
	width: 100%;
	}
table.showCase td
	{
    font-size: 0.7em;
    border-left:   1px solid #005D8C;
    border-top:    1px solid #005D8C;
    border-right:  2px solid #005D8C;
    border-bottom: 2px solid #005D8C;
    background-color:gainsboro;
    margin-top:    0px;
    margin-bottom: 0px;
    padding-top:    7px;
    padding-bottom: 7px;
    padding-left:   7px;
    padding-right:  7px;
    text-align: center;
	vertical-align: middle;
	}

/*
table.showCase td a:link
	{
    border-left:   1px solid #005D8C;
    border-top:    1px solid #005D8C;
    border-right:  2px solid #005D8C;
    border-bottom: 2px solid #005D8C;
	}

table.showCase td a:visited
	{
    border:   2px solid #8A2BE2;
	}
table.showCase td a:hover, table.showCase td a:active
	{
    border:   6px solid #FFA34F;
	}
*/
table.showCase td img, img.showCase
	{
    border-left:   1px solid #005D8C;
    border-top:    1px solid #005D8C;
    border-right:  2px solid #005D8C;
    border-bottom: 2px solid #005D8C;
	background-color: darkgrey;
	padding: 8px;
	}


/* --------- softCase --------- */
table.softCase
	{
    border-left:   1px solid #005D8C;
    border-top:    1px solid #005D8C;
    border-right:  2px solid #005D8C;
    border-bottom: 2px solid #005D8C;
    background-color: whitesmoke;
	width: 100%;
	}
table.softCase td
	{
    font-size: 0.7em;
    margin-top:    0px;
    margin-bottom: 0px;
    padding-top:    7px;
    padding-bottom: 7px;
    padding-left:   7px;
    padding-right:  7px;
    text-align: center;
	vertical-align: middle;
	}

table.softCase td img, img.softCase
	{
    border:   0px;
	background-color: gainsboro;
	padding: 8px;
	}
	
table.softCase th
	{
    border-left:   1px solid #005D8C;
    border-top:    1px solid #005D8C;
    border-right:  2px solid #005D8C;
    border-bottom: 2px solid #005D8C;
    background-color: whitesmoke;
	}
/* as_downloads */
table.asDownloads
   {
   background-color: white;
	 width: 100%;	 
	 }
tr.asDownloads#asOdd
   {
   background-color: white;
	 }
tr.asDownloads#asEven
   {
   background-color: lightgray;
	 }
th.asDownloads
   {
   background-color: lightgray;
	 }
td.asDownloads
   {
   font-size: 9pt;
	 }
td.asDownloads a:hover 
	{
/*	font-weight: normal;*/
	}
td.asDownloads a:link, td.asDownloads a:hover, td.asDownloads a:visited  
	{
	font-weight: bold;	
	}
/*also add to the line [.menuButton] [, a.button] */