From 95fe228814fa36a64c01224ea557216b695605b2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <mcihar@novell.com>
Date: Wed, 21 Jul 2010 13:46:20 +0200
Subject: [PATCH] Adjust formatting for darkblue theme as well.

---
 themes/darkblue_orange/css/theme_right.css.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/darkblue_orange/css/theme_right.css.php b/themes/darkblue_orange/css/theme_right.css.php
index cf5437884..b6fe2a2ec 100644
--- a/themes/darkblue_orange/css/theme_right.css.php
+++ b/themes/darkblue_orange/css/theme_right.css.php
@@ -1201,7 +1201,7 @@ label.desc {
     float: <?php echo $left; ?>;
 }
 
-code.sql {
+code.sql, div.sqlvalidate {
     display:            block;
     padding:            0.3em;
     margin-top:         0;