From e4807fdacd5b71bfd2e754f42f520d82fd178386 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 9 Jun 2006 19:50:21 +0000 Subject: [PATCH] rewored website layout and internal structure: - moved menu bar to the left - added logo on the top left - added headings --- helm/www/matita/community.shtml | 2 +- helm/www/matita/development.shtml | 1 + .../www/matita/{ => docs/manual}/install.html | 0 helm/www/matita/documentation.shtml | 4 +- helm/www/matita/download.shtml | 33 ++++++----- helm/www/matita/menubar.shtml | 15 +++-- helm/www/matita/style.css | 55 +++++++++---------- 7 files changed, 60 insertions(+), 50 deletions(-) rename helm/www/matita/{ => docs/manual}/install.html (100%) diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index eebd71cc7..1dfd479fa 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -17,8 +17,8 @@ contributions. "Miki: a formal Mathematics wIKI" is the codename of the effort.

+ - diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 220ad057d..193be32a0 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -36,6 +36,7 @@

+ diff --git a/helm/www/matita/install.html b/helm/www/matita/docs/manual/install.html similarity index 100% rename from helm/www/matita/install.html rename to helm/www/matita/docs/manual/install.html diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index 361fdb0a6..7718cf4cc 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -8,6 +8,7 @@

Matita Documentation

+

User manual

We are working on the user manual of Matita. The current status is @@ -17,8 +18,9 @@ matita/help directory (in DocBook format)

+ +
- diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index af333712f..94ec8dc6a 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -8,29 +8,36 @@

Download Matita!

-

Sources

-

+ +

Releases

Matita has no official releases yet. - Still, you can get and build Matita from sources. - All our source code is released under the terms of the GNU General - Public Licence and is publically accessible on our svn repository. + +

License

+ All our source code is released under the terms of the GNU General Public + Licence and is publically accessible on our Subversion repository. + +

Subversion repository

+

+ You can browse our svn repository directly on the web.

To checkout a copy of the sources type: - 

-    svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
-    cd software
-    svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
-    svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
-
+ 
+svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
+cd software/
+svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
+svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
+

Once you got the sources, have a look at the - installation instructions on how to build and + installation instructions on how to build and install Matita from sources.

+
- diff --git a/helm/www/matita/menubar.shtml b/helm/www/matita/menubar.shtml index a7295b0d5..8e0043a49 100644 --- a/helm/www/matita/menubar.shtml +++ b/helm/www/matita/menubar.shtml @@ -1,7 +1,10 @@
- Matita Home - Development - Documentation - Community - Download -
+ + + diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css index 6de52ec94..67b4cf03b 100644 --- a/helm/www/matita/style.css +++ b/helm/www/matita/style.css @@ -4,8 +4,6 @@ body { font-size: 12pt; background-image: url(images/sheetbg.png); background-repeat: repeat; - margin-left: 7%; - margin-right: 7%; } samp.tiny { @@ -13,7 +11,6 @@ samp.tiny { } div.main h1 { - font-family: sans-serif; font-size: 18pt; color: #808080; @@ -21,27 +18,20 @@ div.main h1 { } div.main h2 { - font-family: sans-serif; font-size: 16pt; color: #808080; - border-style: none; border-bottom-style: solid; border-width: 3px; border-color: #cb8080; - width: 70%; - - margin-right: auto; } div.main h3 { - font-family: sans-serif; font-size: 14pt; color: #808080; } div.main h4 { - font-family: sans-serif; font-size: 13pt; color: #808080; } @@ -53,30 +43,24 @@ ul { list-style-type: none; } -div.menu a { +div.menu ul li { color: #591622; - background-color: transparent; - - font-family: sans-serif; font-style : italic; - text-decoration : none; + border-bottom-style: solid; border-color: #cb8080; - border-bottom-width: 3px; - border-top-width: 0px; - border-left-width: 0px; - border-right-width: 0px; - border-style: solid; + margin-bottom: 10px; +} - margin-right:20px; +div.menu ul li a { + text-decoration: none; } a.menu:hover { color: #591622; text-decoration : none; background-color: #ecf6f9; - } a { @@ -91,16 +75,25 @@ a:hover { } div.menu { - display: block; - width: auto; - text-align:center; - margin-bottom: 40px; + position: absolute; + left: 0px; + width: 150px; + padding-top: 140px; + background: url(images/matita-small.png); + background-repeat: no-repeat; + background-position: 1cm top; +} + +div.main { + position: absolute; + top: 0px; + left: 200px; + width: 650px; } div.bottombar { display: block; width: auto; - text-align:right; margin-top: 40px; } @@ -108,10 +101,9 @@ div.uplined { height: auto; padding-top: 10px; width: 40%; - margin-left:auto; + border-color: #cb8080; border-top-style: solid; border-top-width: 3px; - border-color: #cb8080; } a.quiet:link,visited,hover { @@ -125,3 +117,8 @@ a.quiet img { border-style:none; } +pre.code { + margin-left: 2em; + font-size: 95%; +} + -- 2.39.2