X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fpreamble.xml;h=018c0b44564953102c1f3c51836ddf4fe8c14539;hb=7ae372991c6e02595c80bd4faaf437d39a965ce1;hp=4111315ddd2e6c84cac8ae6454a10617ad952761;hpb=eed5adbc98247c3b6f8de9db56c69ab45307733c;p=helm.git
diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml
index 4111315dd..018c0b445 100644
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -7,11 +7,14 @@ pre, code {
font-family: monospace;
}
-p code {
+p code, li code {
font-size: 130%;
border-style: dashed;
border-width: 1px;
- padding: 0.2em;
+ padding-top: 0.2em;
+ padding-bottom: 0.2em;
+ padding-left: 0.3em;
+ padding-right: 0.3em;
line-height: 1.8em;
border-color: grey;
}
@@ -22,15 +25,26 @@ pre {
margin-left: 2em;
}
-img {
+img, .img {
margin-left: auto;
margin-right: auto;
display: block;
}
+date {
+ font-size:60%;
+ text-align:right;
+ width: 100%;
+ display:block;
+}
+
body {
- margin-right: 1em;
+ margin-right: 3cm;
+ margin-left: 3cm;
}
+
+
+p { text-align: justify; }