More style

diff --git a/local.css b/local.css
index c9f73da9d9d20f34c7f1f314f370a11c76e750e4..acbc2adf69edb22a7896326030db73a6881a834e 100644 (file)
--- a/local.css
+++ b/local.css
@@ -15,7 +15,14 @@ hr {
 }
 
 code,pre,pre.hl {
-  background:#d8d8d8;
+  background:#eee;
+  border: 1px solid #d8d8d8;
+  padding: 0px 2px;
+  border-radius: 2px;
+}
+pre code {
+  border: none;
+  padding: 0;
 }
 
 pre {
@@ -296,8 +303,9 @@ legend {
   margin-bottom: 40px;
   padding: 2ex 2ex;
   background: #bbdbfa;
-  border: 1px solid #206cbc;
-  -moz-border-radius: 0.5ex;
+  border: none;
+  border-radius: 0.5ex;
+  box-shadow: 3px 3px 5px #aaa;
 }
 
 .toc ol ol {