From 7ff40635d4bc8c832b2890f9b7292cf89f02ea09 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Sun, 7 Apr 2013 11:44:17 -0700
Subject: [PATCH] fixes #7497: use var for jumbotron border radius

---
 less/jumbotron.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/less/jumbotron.less b/less/jumbotron.less
index 6437ea58ec..d3c9ac21c8 100644
--- a/less/jumbotron.less
+++ b/less/jumbotron.less
@@ -23,7 +23,7 @@
 @media screen and (min-width: 768px) {
   .jumbotron {
     padding: 50px 60px;
-    border-radius: 6px; // Only round corners at higher resolutions
+    border-radius: @border-radius-large; // Only round corners at higher resolutions
 
     h1 {
       font-size: 60px;