From 4d382a6e561bcbd97306acdca486779627578796 Mon Sep 17 00:00:00 2001
From: JJ Allaire <jj@rstudio.org>
Date: Fri, 16 Mar 2012 09:03:47 -0400
Subject: [PATCH] tweak search box text baseline for chrome w/ ubuntu font

---
 .../src/org/rstudio/core/client/theme/res/themeStyles.css    | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/gwt/src/org/rstudio/core/client/theme/res/themeStyles.css b/src/gwt/src/org/rstudio/core/client/theme/res/themeStyles.css
index 5452500b8bf..95f1f6467c8 100644
--- a/src/gwt/src/org/rstudio/core/client/theme/res/themeStyles.css
+++ b/src/gwt/src/org/rstudio/core/client/theme/res/themeStyles.css
@@ -901,6 +901,11 @@ body.ubuntu_mono .searchBox {
    font-size: 11px;
 }
 
+@if rstudio.desktop false {
+@if user.agent safari { .ubuntu_mono .searchBox {
+   margin-top: -2px;
+}}}
+
 /** Workbench **/
 
 .dialogMessage {