icons: s/font: monospace/font-family: monospace

diff --git a/icons/devhelpstyle.css b/icons/devhelpstyle.css
index 966c9929c6af76e0af043ceac7b895a1a1eef14f..1488f1fbd2aa6c0d1909983c8da7569718774c3e 100644 (file)
--- a/icons/devhelpstyle.css
+++ b/icons/devhelpstyle.css
@@ -131,7 +131,7 @@ div.main_code_definition {
        padding-bottom: 5px;
        padding-top: 5px;
 
-       font: monospace;
+       font-family: monospace;
        border-color: #aaaaff;
        background-color: #eeeeff;
        border-style: solid;
@@ -165,7 +165,7 @@ div.main_block_content {
 }
 
 span.leaf_code_definition {
-       font: monospace;
+       font-family: monospace;
 }
 
 
@@ -507,10 +507,14 @@ ul.no_bullet li {
 }
 
 .css_content_literal {
-       font: monospace;
+       font-family: monospace;
        color: #ff01ff;
 }
 
+code {
+       font-family: monospace;
+}
+
 .main_code_definition a, .leaf_code_definition a {
        text-decoration: none;
        color: inherit;

diff --git a/icons/style.css b/icons/style.css
index 8987ccd36f0670f7ea22c6ccb1d4827c8117c5c0..4f65fdb2cc443502b5be6479b2be6cd7ec5454c5 100644 (file)
--- a/icons/style.css
+++ b/icons/style.css
@@ -146,7 +146,7 @@ div.main_code_definition {
        padding-bottom: 5px;
        padding-top: 5px;
 
-       font: monospace;
+       font-family: monospace;
        border-color: #aaaaff;
        background-color: #eeeeff;
        border-style: solid;
@@ -180,7 +180,7 @@ div.main_block_content {
 }
 
 span.leaf_code_definition {
-       font: monospace;
+       font-family: monospace;
 }
 
 
@@ -521,9 +521,14 @@ ul.no_bullet li {
 }
 
 .css_content_literal {
-       font: monospace;
+       font-family: monospace;
        color: #ff01ff;
 }
+
+code {
+       font-family: monospace;
+}
+
 .main_code_definition a, .leaf_code_definition a {
        text-decoration: none;
        color: inherit;

diff --git a/icons/wikistyle.css b/icons/wikistyle.css
index 7dc8497e5938b5ae0e1a9185b9a2c266b96d8e33..ccb702212d1d111aed1cf68cfe41dd10c5ffd0f1 100644 (file)
--- a/icons/wikistyle.css
+++ b/icons/wikistyle.css
@@ -163,7 +163,7 @@ div.main_code_definition {
        padding-bottom: 5px;
        padding-top: 5px;
 
-       font: monospace;
+       font-family: monospace;
        font-size: 10;
        border-color: #aaaaff;
        background-color: #eeeeff;
@@ -520,10 +520,14 @@ ul.no_bullet li {
 }
 
 .css_content_literal {
-       font: monospace;
+       font-family: monospace;
        color: #ff01ff;
 }
 
+code {
+       font-family: monospace;
+}
+
 .deprecated {
        text-decoration:line-through;
 }