From 0febb8fca368e32c61baf67200391a0847d212f7 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <chorohoe@wikimedia.org>
Date: Tue, 31 Jul 2012 11:47:33 -0400
Subject: [PATCH] Adding .searchPanel to the exported CSS

Change-Id: I63f2d45d629ecd70c144c4edf1b903b9c0064d8e
---
 gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css b/gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css
index a8e595c96d..533672ed25 100644
--- a/gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css
+++ b/gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css
@@ -28,6 +28,7 @@
 @external .gwt-InlineHyperlink;
 @external .gwt-RadioButton;
 
+@external .searchPanel;
 @external .smallHeading;
 @external .wdi;
 @external .wdd;