...

[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 4111315ddd2e6c84cac8ae6454a10617ad952761..66f62acbe54d826dd86e9d7caf3492069f49d8a2 100644 (file)
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -28,6 +28,13 @@ img {
        display: block;
 }
 
+date {
+       font-size:60%;
+       text-align:right;
+       width: 100%;
+       display:block;
+}
+
 body {
        margin-right: 1em;
 }