/*
REMINDER: Don't use px unit for font-size, instead use pt for better rendering whatever
          the screen size is.
          On the opposite, use px for border size
*/
body {width:950px; margin:0px}
.subdomainname {color:#000000; font-family:helvetica; font-size:20pt}
.domainhorizmenu {
    background-color:#FFFFFF; color:#333333;
    text-transform:uppercase;
    font-size:7pt; font-weight:bold;  font-family:helvetica;
    padding-top:2pt; padding-bottom:2pt;           
}
.domainhorizmenu a, .domainhorizmenu a:visited{
    background-color:#FFFFFF; color:#333333;
    text-transform:uppercase;
    font-size:7pt; font-weight:bold;  font-family:helvetica;
    padding-top:2pt; padding-bottom:2pt;
    text-decoration:none;           
}
.domainhorizmenu a:hover{
    background-color:#FFFFFF; color:#333333;
    text-transform:uppercase;
    font-size:7pt; font-weight:bold;  font-family:helvetica;
    padding-top:2pt; padding-bottom:2pt;
    text-decoration:underline;           
}

.subdomainhorizmenu {
    background-color:#2d2d2d; color:#FFFFFF;
    text-transform:uppercase; text-align:center;
    font-size:8pt; font-weight:bold;  font-family:helvetica;
    padding-top:2pt; padding-bottom:2pt;           
}
.subdomainhorizmenu a, .subdomainhorizmenu a:visited {
    background-color:#2d2d2d; color:#FFFFFF;
    text-transform:uppercase; text-align:center;
    font-size:8pt; font-weight:bold;  font-family:helvetica;
    padding-top:2pt; padding-bottom:2pt;           
    text-decoration:none;
}
.subdomainhorizmenu a:hover {
    background-color:#2d2d2d; color:#FFFFFF;
    text-transform:uppercase; text-align:center;
    font-size:8pt; font-weight:bold;  font-family:helvetica;
    padding-top:2pt; padding-bottom:2pt;           
    text-decoration:underline;
}
.separator {margin-left:10pt; margin-right:10pt; display:inline}

div.toptopmenu {display:bloc}
div.toptopmenu td.leftpart h1 {color:#000000; font-size:20pt; font-weight:bold; text-transform:uppercase}
div.toptopmenu td.leftpart h2 {color:#999999; font-size:10pt; font-weight:bold; text-transform:uppercase}
div.toptopmenu div.separator {color:#999999;}
div.toptopmenu .rightpart {color:#999999;}
div.toptopmenu .rightpart a, div.header div.rightpart a:hover, div.header div.rightpart a:visited {color:#999999; text-decoration: none; font-size:10pt; font-weight:bold; font-variant:small-caps}
div.topmenu {background-color: #000000; color: #FFFFFF; text-align:center; padding-bottom:5px; padding-top:5px; }
div.topmenu a, div.topmenu a:hover, div.topmenu a:visited {background-color: #000000; color: #FFFFFF; text-decoration: none; font-size:10pt; font-weight:bold; font-variant:small-caps}
div.separator {left-margin:10pt; right-margin:10pt; display:inline}

div.ad_banner {
	margin:2pt;
    text-align:center;
}

div.main {
    background-color: #E8EBFF;
}

div.main h1 {
	font-size: 15pt;
}

td.main {
    padding-left:5px;
}

div.footer {
    font-size: 8pt; font-weight:normal;
    border-top: 1px solid #1E2E63;
    background-color: #A0A3BF;
    text-align:center;
}

// For download section (To be updated)
//--------------------------------------
td.main table.bloc a {color: #404662; text-decoration: none}
td.main table.bloc a:hover { color: #9096B2; text-decoration: underline }
td.main table.bloc th a {color: #404662; text-decoration: none}
td.main table.bloc th a:hover { color: #FFCF00; text-decoration: underline }
td.main table.bloc { background-color: #1E2E63; width:800px; margin-bottom:4pt;}
td.main table.twoblocs {width:800px;}
td.main table.twoblocs table.bloc { background-color: #1E2E63; width:250px; margin-bottom:4pt;}
td.main table.bloc tr {background-color: #F1F1F1}
td.main table.bloc tr th {background-color: #A0A3BF; font-size:12pt}

td.main table.bloc td {font-size:12pt}
td.main table.bloc td a {color: #404662; text-decoration: none}
td.main table.bloc td a:hover { color: #9096B2; text-decoration: underline }