From 9872902e4784220f3add1a1af256dfc89cd6e31a Mon Sep 17 00:00:00 2001
From: Mark Otto <markotto@twitter.com>
Date: Sun, 30 Sep 2012 23:11:54 -0700
Subject: remove .border-radius mixin and replace with standard border-radius
 property, since -webkit-* and -moz-* are only needed for older versions

---
 less/code.less | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'less/code.less')

diff --git a/less/code.less b/less/code.less
index a60fdf080..b38601f56 100644
--- a/less/code.less
+++ b/less/code.less
@@ -10,7 +10,7 @@ pre {
   #font > #family > .monospace;
   font-size: @baseFontSize - 2;
   color: @grayDark;
-  .border-radius(3px);
+  border-radius: 3px;
 }
 
 // Inline code
@@ -35,7 +35,7 @@ pre {
   background-color: #f5f5f5;
   border: 1px solid #ccc; // IE8 fallback
   border: 1px solid rgba(0,0,0,.15);
-  .border-radius(4px);
+  border-radius: 4px;
 
   // Make prettyprint styles more spaced out for readability
   &.prettyprint {
-- 
cgit v1.2.3