From 6113a317afd68891b63d330e9131b854c20d6b69 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Sat, 1 Jul 2017 02:53:15 +0300 Subject: css: remove unnecessary property --- css/snippets.css | 7 ------- 1 file changed, 7 deletions(-) (limited to 'css/snippets.css') diff --git a/css/snippets.css b/css/snippets.css index 6924137..78fa9e9 100644 --- a/css/snippets.css +++ b/css/snippets.css @@ -1,13 +1,6 @@ div.panel-body pre { margin: 0; border: none; - /* - * Uncomment this property if you disable syntax highlighting (and thus - * don't use .highlight's background-color). - * - background-color: inherit; - * - */ border-radius: 0 0 4px 4px; } div.panel-body { -- cgit v1.2.3