From b50ab90d5ffb958fa1f90bafcfecb60dc7b33b48 Mon Sep 17 00:00:00 2001 From: Jim Myhrberg Date: Tue, 1 Nov 2011 23:19:03 +0000 Subject: [PATCH] rounded corners on code blocks so they look a bit nicer :) --- source/site/stylesheets/master.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/source/site/stylesheets/master.css b/source/site/stylesheets/master.css index e361636..88aefb2 100644 --- a/source/site/stylesheets/master.css +++ b/source/site/stylesheets/master.css @@ -356,6 +356,9 @@ span.fancybox { code, pre, .gist, .gist-data, .gist-meta { font-family: 'DejaVuSansMonoBook', Menlo, "Courier New" !important; font-size: 12px !important; + border-radius: 3px; + -moz-border-radius: 3px; + -webkit-border-radius: 3px; } /* @group pre, code */ @@ -363,7 +366,7 @@ code, pre, .gist, .gist-data, .gist-meta { pre, code { background-color: #f8f8ff; border: 1px solid #dedede; - padding: 1px 3px; + padding: 1px 2px; } pre { padding: 0.25em 0.5em;