1 files changed, 6 insertions, 5 deletions
diff --git a/static/style/default.css b/static/style/default.css
index 4c0dd3d..f271a43 100644
--- a/static/style/default.css
+++ b/static/style/default.css
@@ -98,6 +98,7 @@ pre.terminal {
     overflow: auto; }
 .search_box {
     border: 1px solid black;
+    width: 175px;
     padding: 0.1em;
     margin-top: 0.25em;
     margin-bottom: 0.25em;
@@ -162,8 +163,7 @@ pre.terminal {
     margin-bottom: 0px;
     padding-left: 24px;
     padding-right: 24px;
-    padding-bottom: 12px;
-    overflow: hidden; }
+    padding-bottom: 12px; }
 .content img {
     border: 1px solid black; }
 .content_footer {
@@ -183,11 +183,12 @@ pre.terminal {
     color: #6666AA; }
 .right_stuff {
     font-weight: bold;
-    font-size: 0.85em;
+    font-size: 0.8em;
     margin-left: 0.25em;
+    padding-right: 10px;
     top: 0px;
     left: 245px;
-    width: 200px;
+    width: 190px;
     height: 0px;
     overflow: visible;
     float: right;
@@ -238,7 +239,7 @@ table.listing td.description {
     color: #EEEEEE;
     float: center;
     width: 794px;
-    border-right: 200px solid #993333;
+    border-right: 222px solid #993333;
     padding-top: 0.35em;
     padding-bottom: 0px;
     padding-left: 0.3em;