diff --git a/themes/darkblue_orange/css/theme_right.css.php b/themes/darkblue_orange/css/theme_right.css.php index 07e786efb..cdc26d51a 100644 --- a/themes/darkblue_orange/css/theme_right.css.php +++ b/themes/darkblue_orange/css/theme_right.css.php @@ -1360,6 +1360,10 @@ code.sql, div.sqlvalidate { width: 98%; } +textarea#partitiondefinition { + height:3em; +} + /* for elements that should be revealed only via js */ .hide { display: none; diff --git a/themes/original/css/theme_right.css.php b/themes/original/css/theme_right.css.php index 02736c61b..272221d36 100644 --- a/themes/original/css/theme_right.css.php +++ b/themes/original/css/theme_right.css.php @@ -1312,6 +1312,11 @@ code.sql, div.sqlvalidate { width: 98%; } +textarea#partitiondefinition { + height:3em; +} + + /* for elements that should be revealed only via js */ .hide { display: none;