]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/nlibrary/topology/preamble.xml
more on screenshot
[helm.git] / helm / software / matita / nlibrary / topology / preamble.xml
index ffb7483ec3b73ea14a78ec9c535686c241dbbc77..bbba386e1034260d79ac403e174b9db59069ba3f 100644 (file)
@@ -6,20 +6,15 @@
          pre, code { 
            font-family: Sans; 
            font-size: 1em; 
-           background-color:#efee79; } 
-         pre { margin-right: 5em;}
-         img { display: block; margin-bottom: 1em; }
-         .img { 
+           background-color:#fafaaf; } 
+         pre { margin-right: 5em; margin-left: 2em; }
+         img { 
            margin-left: auto; 
            margin-right: auto; 
            display: block;
            border-style: solid;
            border-width: 2px;
            border-color: grey;
-           background: grey;
-           text-align:center;
-           color: white;
-           width: 200px;
          }
   </style>
  </head>