From 50dba19d781631fbc50abb166ceea4f51fcadc67 Mon Sep 17 00:00:00 2001 From: Michal Sojka Date: Wed, 19 Feb 2014 23:53:02 +0100 Subject: [PATCH] More style --- local.css | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/local.css b/local.css index c9f73da9..acbc2adf 100644 --- 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 { -- 2.39.2