diff --git a/libraries/display_export.lib.php b/libraries/display_export.lib.php
index 5d0ba36ad..9fcfe5570 100644
--- a/libraries/display_export.lib.php
+++ b/libraries/display_export.lib.php
@@ -67,6 +67,20 @@ if (! empty($sql_query)) {
}
?>
+
+
diff --git a/themes/original/css/theme_right.css.php b/themes/original/css/theme_right.css.php
index c56899ff1..3189a0840 100644
--- a/themes/original/css/theme_right.css.php
+++ b/themes/original/css/theme_right.css.php
@@ -1237,8 +1237,10 @@ table#serverconnection_trg_local {
/**
* Export and Import styles
*/
+
.exportoptions h3, .importoptions h3 {
border-bottom: 1px #999999 solid;
+ font-size: 110%;
}
.exportoptions ul, .importoptions ul, .format_specific_options ul {
@@ -1260,7 +1262,7 @@ table#serverconnection_trg_local {
}
.exportoptions, .importoptions {
- margin: 30px 30px 30px 10px
+ margin: 20px 30px 30px 10px
}
.exportoptions #buttonGo, .importoptions #buttonGo {