From 50cf0b1a9d883ae3c4054dfd4071963fdf8aa812 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Tue, 31 Dec 2013 18:21:41 -0800
Subject: Update Gruntfile.js to copy 'dist/' files to 'docs/dist/' with 'grunt
 dist' task; Fixes #12030: navbar toggle focus state

---
 less/navbar.less | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'less')

diff --git a/less/navbar.less b/less/navbar.less
index 621772fbb..ac7a6a79f 100644
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -193,6 +193,12 @@
   border: 1px solid transparent;
   border-radius: @border-radius-base;
 
+  // We remove the `outline` here, but later compensate by attaching `:hover`
+  // styles to `:focus`.
+  &:focus {
+    outline: none;
+  }
+
   // Bars
   .icon-bar {
     display: block;
-- 
cgit v1.2.3