From d0b2bceffedce633f496b4e4fcc557be73fbfe1d Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 14 Jun 2006 08:49:31 +0000 Subject: [PATCH] - added news section - added on each level 2 heading --- helm/www/matita/development.shtml | 5 +++-- helm/www/matita/documentation.shtml | 2 +- helm/www/matita/download.shtml | 6 +++--- helm/www/matita/matita.shtml | 1 + helm/www/matita/menubar.shtml | 2 ++ helm/www/matita/news.shtml | 12 ++++++++++++ helm/www/matita/style.css | 21 +++++++++++++++++++++ 7 files changed, 43 insertions(+), 6 deletions(-) create mode 100644 helm/www/matita/news.shtml diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index f4cdb2307..74b2037d6 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -18,7 +18,8 @@ of them, we apologize for whom we forgot to mention.

-

Current team members

+

People

+

Current team members

-

Former members

+

Former members

+ diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml new file mode 100644 index 000000000..e478812f7 --- /dev/null +++ b/helm/www/matita/news.shtml @@ -0,0 +1,12 @@ + + +
+ News: + +
+ diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css index a09fba17a..d93a2e067 100644 --- a/helm/www/matita/style.css +++ b/helm/www/matita/style.css @@ -21,6 +21,16 @@ div.main { padding-left:20px; } +div.news { + position: absolute; + top: 20px; + left: 830px; + font-size: 10pt; + width: 100px; + background: #eaeaea; + padding: 10px; +} + /* site-wide typesetting */ body { @@ -99,6 +109,17 @@ a.menu:hover { background-color: #ecf6f9; } +/* news */ + +div.news ul { + padding-left: 0px; + list-style: inside; +} + +div.news span.date { + font-style: italic; +} + /* fancy classes */ samp.tiny { -- 2.39.2