diff options
Diffstat (limited to 'pkg/html')
| -rw-r--r-- | pkg/html/generated.go | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/pkg/html/generated.go b/pkg/html/generated.go index 9d85807dc..5db49d857 100644 --- a/pkg/html/generated.go +++ b/pkg/html/generated.go @@ -161,6 +161,13 @@ table td, table th { text-align: right; } +.list_table .bisect_status { + width: 75pt; + max-width: 75pt; + font-family: monospace; + text-align: right; +} + .list_table .date { width: 60pt; max-width: 60pt; @@ -248,7 +255,7 @@ function isSorted(values) { return true; } -function textSort(v) { return v.toLowerCase(); } +function textSort(v) { return v == "" ? "zzz" : v.toLowerCase(); } function numSort(v) { return -parseInt(v); } function floatSort(v) { return -parseFloat(v); } function reproSort(v) { return v == "C" ? 0 : v == "syz" ? 1 : 2; } |
