diff --git a/src/webui/static/app/ext.css b/src/webui/static/app/ext.css
index bf5c4d7c..c4e3e9de 100644
--- a/src/webui/static/app/ext.css
+++ b/src/webui/static/app/ext.css
@@ -216,6 +216,7 @@
 
 .hts-doc-text {
   font:normal 11px verdana;
+  padding: 5px;
 }
 
 .hts-doc-text dt {
@@ -224,6 +225,7 @@
 }
 
 .hts-doc-text dl {
+  padding-left: 10px;
   padding-bottom: 10px;
 }