From 5d1707a25c0ee68644a182196439a86be1beafbd Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Wed, 11 Sep 2013 11:09:50 -0700
Subject: Remove old and unused .prettyprint styles in code.less (per #10566)

---
 dist/css/bootstrap.css | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'dist/css/bootstrap.css')

diff --git a/dist/css/bootstrap.css b/dist/css/bootstrap.css
index 3e5a31f05..10f59c305 100644
--- a/dist/css/bootstrap.css
+++ b/dist/css/bootstrap.css
@@ -737,10 +737,6 @@ pre {
   border-radius: 4px;
 }
 
-pre.prettyprint {
-  margin-bottom: 20px;
-}
-
 pre code {
   padding: 0;
   font-size: inherit;
-- 
cgit v1.2.3