Use ch as unit of width in search results. (#583)

mozilla · Jun 30, 2016 · de555d9 · de555d9
1 parent 21c456d
commit de555d9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/dxr/static_unhashed/css/dxr.css b/dxr/static_unhashed/css/dxr.css
@@ -205,7 +205,7 @@ code a {
 .file td:first-child {
     text-align: right;
     color: #555;
-    width: 6ex;
+    width: 6.5ch;
 }
 .results a {
     cursor: pointer;
@@ -216,7 +216,7 @@ code a {
 }
 .result_line, .result-head {
     position: relative;
-    padding-left: 60px;
+    padding-left: 9ch;
 }
 .result_line {
     padding-top: 5px;
@@ -236,7 +236,7 @@ code a {
     left: 0px;
 }
 .result_line .left-column {
-    left: 1.5ex;
+    left: 1ch;
 }
 .leftmost-column > span:hover
 {