PATCH: [ 1515940 ] Manual: Use 'Verdana' font in html too (XSL)

diff --git a/Docs/Users/Manual/Changes.txt b/Docs/Users/Manual/Changes.txt
index 161bbf6..f9afaeb 100644 (file)
--- a/Docs/Users/Manual/Changes.txt
+++ b/Docs/Users/Manual/Changes.txt
@@ -5,6 +5,8 @@
   Manual: About_Doc.xml
  PATCH: [ 1515529 ] Manual: Use 'Verdana' font in htmlhelp
   Manual/css: help.css
+ PATCH: [ 1515940 ] Manual: Use 'Verdana' font in html too (XSL)
+  Manual/css: all.css print.css
 
 2006-05-22 Tim
  PATCH: [ 1493170 ] Manual: Delete 'art' output dir after htmlhelp compile

diff --git a/Docs/Users/Manual/css/all.css b/Docs/Users/Manual/css/all.css
index 3997c81..7576714 100644 (file)
--- a/Docs/Users/Manual/css/all.css
+++ b/Docs/Users/Manual/css/all.css
@@ -1,3 +1,13 @@
+body,th,td {
+  font-family: Verdana,Helvetica,Arial,sans-serif;
+  font-size: 80%;
+}
+
+pre,code,tt {
+  font-family: "Courier New",Courier,monospace;
+  font-size: 100%;
+}
+
 .mediaobject {
   margin-top: 10px;
 }

diff --git a/Docs/Users/Manual/css/print.css b/Docs/Users/Manual/css/print.css
index 149cf56..bf85ca2 100644 (file)
--- a/Docs/Users/Manual/css/print.css
+++ b/Docs/Users/Manual/css/print.css
@@ -1,3 +1,13 @@
+body,th,td {
+  font-family: Verdana,Helvetica,Arial,sans-serif;
+  font-size: 80%;
+}
+
+pre,code,tt {
+  font-family: "Courier New",Courier,monospace;
+  font-size: 100%;
+}
+
 .navheader {
   display: none;
 }