fixes #7497: use var for jumbotron border radius

diff --git a/less/jumbotron.less b/less/jumbotron.less
index 6437ea58ec9154a35a84630d7dc2adda04656e43..d3c9ac21c8d29cb132dffa54c7ac6a06ac79cc4c 100644 (file)
--- 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;