diff --git a/html/style.css b/html/style.css
index b9a9e115a..f550eb151 100644
--- a/html/style.css
+++ b/html/style.css
@@ -3,7 +3,7 @@
BODY {
background-color:#EDF3FF;
font-size:10;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
padding: 0px 10px 0px 10px ;
margin:0;
}
@@ -28,7 +28,7 @@ table.resultfooter tfoot {
}
table.result th {
font-weight:bold;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
border-bottom:2px solid blue;
border-top:0;
@@ -41,7 +41,7 @@ table.result th {
}
h2 {
- font-family:Helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
font-size:14px;
color:grey;
}
@@ -152,7 +152,7 @@ div.lmenu {
div.lextmenu {
float:left;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
font-size:9px;
}
@@ -167,7 +167,7 @@ div.searchmenu {
div.recherche_form{
width:700px;
font-size:9px;
- font-family:Helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
border-style:outset;
border-width:1px;
@@ -178,7 +178,7 @@ div.u_redcontent{
padding-top:7px;
padding-left:8px;
font-size:9px;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
width:75%;
}
@@ -187,7 +187,7 @@ div.content{
float:left;
padding-top:7px;
width:100%;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
clear:both;
@@ -197,12 +197,12 @@ div.content30{
float:left;
padding-top:7px;
width:35%;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
}
div.no span{
position:static;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
font-weight:bold;
color:red;
@@ -217,7 +217,7 @@ table.document {
}
table.document th{
font-weight:bold;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
border-bottom:2px solid blue;
border-top:0;
color:#25238F;
@@ -397,7 +397,7 @@ a.one:hover {
a.detail
{
font-size:9px;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
text-decoration: none;
display: block;
color: blue;
@@ -406,7 +406,7 @@ a.detail
a.detail:hover
{
font-size:9px;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
color: white;
background-color: rgb(93, 144, 205);
text-decoration: none;
@@ -418,7 +418,7 @@ li.menuv,ol.menuv {
padding:1em 1em;
}
div.u_redcontent a {
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
text-decoration: none;
display: block;
color: blue;
@@ -426,7 +426,7 @@ div.u_redcontent a {
}
div.u_redcontent a:hover {
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
color: white;
background-color: rgb(93, 144, 205);
text-decoration: none;
@@ -434,7 +434,7 @@ div.u_redcontent a:hover {
}
div.content a {
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
text-decoration: none;
display: block;
color: blue;
@@ -444,7 +444,7 @@ padding: 1px ;
div.content a:hover {
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
color: white;
background-color: rgb(93, 144, 205);
text-decoration: none;
@@ -488,7 +488,7 @@ div.content a.mtitle:hover {
}
div.u_redcontent input.text {
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
font-weight:normal;
border-color:336699;
border-style:solid;
@@ -497,7 +497,7 @@ div.u_redcontent input.text {
color:blue;
}
div.content input.text {
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
font-weight:normal;
border-color:336699;
border-style:solid;
@@ -620,7 +620,7 @@ div.popup_border_title {
border: 2px outset #201e87;
background-color:#879ED4;
font-size: 110% ;
- font-family: helvetica,arial,sans-serif;
+ font-family: helvetica,sans-serif;
font-style: italic;
font-weight: bolder;
text-align:center;
@@ -642,7 +642,7 @@ div.popup_border_notitle {
/*border:dotted 1px black;*/
border: 3px outset #201e87;
background-color: #879ED4;
- font-family: helvetica,arial,sans-serif;
+ font-family: helvetica,sans-serif;
font-style: italic;
font-weight: bolder;
text-align:center;
@@ -664,7 +664,7 @@ div.popup_content {
overflow: auto;
background-color:#DFE7FF;
font-size:10px ;
- font-family: helvetica,arial,sans-serif;
+ font-family: helvetica,sans-serif;
font-style: normal;
font-weight: normal;
color: black;
@@ -787,7 +787,7 @@ cursor:inherit;
font-weight: bold;
text-decoration:none;
- font-family: helvetica,arial,sans-serif;
+ font-family: helvetica,sans-serif;
background-image: url("image/bg-submit2.gif");
background-repeat: repeat-x;
background-position: left;
@@ -833,7 +833,7 @@ a#anchorbutton {
font-weight: bold;
text-decoration:none;
- font-family: helvetica,arial,sans-serif;
+ font-family: helvetica,sans-serif;
background-image: url("image/bg-submit3.gif");
background-repeat: repeat-x;
background-position: left;
@@ -888,7 +888,7 @@ div.op_detail_frame {
div.op_detail {
background-color:#e4e7ed;
font-size:10;
- font-family:helvetica,arial,sans-serif;
+ font-family:helvetica,sans-serif;
padding:0;
margin:0;
overflow:hidden;