diff options
| -rw-r--r-- | site/css/main.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/css/main.css b/site/css/main.css index b49ea28..998e5fe 100644 --- a/site/css/main.css +++ b/site/css/main.css @@ -72,7 +72,7 @@ div.important, pre, div.subsection { border:none; border-radius:0.5em; box-shadow:none; - height:7em; + height:7.5em; width:auto; float:right; } |