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)

---
 less/code.less | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'less/code.less')

diff --git a/less/code.less b/less/code.less
index d6661d2b9..f1cc4f570 100644
--- a/less/code.less
+++ b/less/code.less
@@ -33,11 +33,6 @@ pre {
   border: 1px solid @pre-border-color;
   border-radius: @border-radius-base;
 
-  // Make prettyprint styles more spaced out for readability
-  &.prettyprint {
-    margin-bottom: @line-height-computed;
-  }
-
   // Account for some code outputs that place code tags in pre tags
   code {
     padding: 0;
-- 
cgit v1.2.3