better typesetting of alerts
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Oct 2010 09:01:41 +0000 (11:01 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Oct 2010 09:01:41 +0000 (11:01 +0200)
hacking/software.mdwn
local.css

index 582d94e..abd50f1 100644 (file)
@@ -23,7 +23,7 @@ package](http://packages.qa.debian.org/matita)]
   * **LablGtkMathView** - OCaml bindings for [GtkMathView](http://helm.cs.unibo.it/mml-widget/)
   [[homepage](http://helm.cs.unibo.it/mml-widget/), [debian package](http://packages.qa.debian.org/lablgtkmathview)]
   * **OCaml-HTTP** (no longer maintained by me) - OCaml library for writing
-  simple HTTP servers [ [homepage](http://ocaml-http.forge.ocamlcore.org),
+  simple HTTP servers [ [[homepage|ocaml-http]],
   [debian package](http://packages.qa.debian.org/ocaml-http)]
 * **CDuce** - an XML-oriented, strongly-typed, functional programming language
 [[homepage](http://www.cduce.org), [debian
index 47d68a1..5a51678 100644 (file)
--- a/local.css
+++ b/local.css
@@ -189,8 +189,10 @@ table.identikit tr td {
 .right  { text-align: right; }
 
 .alert {
-    border: 1px solid #EEE;
+    border: 2px solid black;
+    background: #EEE;
     margin: 2ex;
+    padding: 5px;
     width: 75%;
     font-weight: bold;
 }