...

[helm.git] / helm / software / matita / nlibrary / topology / preamble.xml

diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml
index 3a1892cd44436b4830eeccfb27d27a29988ed349..8044ff2fab1a07648f54a57df9042f9dc1d07380 100644 (file)
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -4,15 +4,25 @@
   <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
   <style type="text/css">
          pre, code { 
-           font-family: monospace; 
-           font-size: 110%; 
+               font-family: monospace; 
+         }
+
+         code {
+               font-size: 130%; 
          } 
-         pre { margin-right: 5em; margin-left: 2em; }
+
+         pre { 
+               font-size: 100%; 
+               margin-right: 5em; 
+               margin-left: 2em; 
+         }
+
          img { 
-           margin-left: auto; 
-           margin-right: auto; 
-           display: block;
+               margin-left: auto; 
+               margin-right: auto; 
+               display: block;
          }
+
          body {
                margin-right: 1em;
          }