From 06fd7e0d21e8852edcc9e7f05b0649adcb1c9c37 Mon Sep 17 00:00:00 2001
From: Jan-Christoph Borchardt <hey@jancborchardt.net>
Date: Fri, 14 Jun 2013 14:08:04 +0200
Subject: [PATCH] remove dotted outlines in Firefox, fix #3712

---
 core/css/styles.css | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/core/css/styles.css b/core/css/styles.css
index 58e750da4f..40a17a4287 100644
--- a/core/css/styles.css
+++ b/core/css/styles.css
@@ -664,3 +664,10 @@ button.loading {
 	background-position: right 10px center; background-repeat: no-repeat;
 	padding-right: 30px;
 }
+
+
+
+/* ---- BROWSER-SPECIFIC FIXES ---- */
+::-moz-focus-inner {
+	border: 0; /* remove dotted outlines in Firefox */
+}