From 1d1ccf41991856b2065da335e434f95e5161843d Mon Sep 17 00:00:00 2001
From: Teemu Suo-Anttila <teemusa@vaadin.com>
Date: Fri, 17 Jan 2014 10:06:09 +0200
Subject: [PATCH] Fix Firefox and Vaadin 7 scroll distance (#11353)

Change-Id: I01be5ddfe0e266e4cb5b7e9872adaeaf0f745a84
---
 WebContent/VAADIN/themes/base/common/common.scss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/WebContent/VAADIN/themes/base/common/common.scss b/WebContent/VAADIN/themes/base/common/common.scss
index 07e244a76f..5cae1b26ce 100644
--- a/WebContent/VAADIN/themes/base/common/common.scss
+++ b/WebContent/VAADIN/themes/base/common/common.scss
@@ -227,6 +227,10 @@ input::-ms-clear {
 	font-size: 0;
 	line-height: normal;
 }
+/* Set font-size in order to make Firefox scrolling better #11353 */
+.v-ff & .v-scrollable {
+	font-size: $font-size;
+}
 .v-ios.v-webkit & .v-scrollable {
 	-webkit-overflow-scrolling: touch; 
 }
-- 
2.39.5