*** empty log message ***

diff --git a/local.css b/local.css
index af2942819928df7853832c2691441add58e7754f..a6988857a331cfb925ce151aa053acb808da2aa0 100644 (file)
--- a/local.css
+++ b/local.css
@@ -281,7 +281,7 @@ legend {
   padding: 2ex 2ex;
   background: #bbdbfa;
   border: 1px solid #206cbc;
-
+  -moz-border-radius: 0.5ex;
 }
 
 .toc li {