diff --git a/chrome/content/vimperator/default.css b/chrome/content/vimperator/default.css index 56067554..882d5e9d 100644 --- a/chrome/content/vimperator/default.css +++ b/chrome/content/vimperator/default.css @@ -1,6 +1,5 @@ div.main { font-family: -moz-fixed; - font-size: 12px; white-space: -moz-pre-wrap; width: 800px; margin-left: auto; @@ -18,17 +17,15 @@ p.tagline { /* the text in the tables is too large without that */ table { - font-size: 1.0em; + font-size: 1.0em; } table.vimperator { border-width: 1px 1px 1px 1px; border-style: dotted dotted dotted dotted; border-color: gray gray gray gray; - margin-left: auto; /* for centering the table */ - margin-right: auto; - width: 800px !important; - white-space: -moz-pre-wrap !important; + /* FIXME: just a quick hack until we have proper pages */ + margin-bottom: 2em; } table.vimperator td { border-width: 0px 0px 0px 0px; @@ -39,22 +36,21 @@ tr.separator { /* border-width: 3px 0px 0px 0px; border-style: solid none none none;*/ border-color: gray gray gray gray; - height: 10px !important; + height: 10px !important; } hr { /* horizontal lines */ - width: 100%; - height: 1px; - border-style: solid; - /*border-color: #6A97D4;*/ - border-color: white; + width: 100%; + height: 1px; + border-style: solid; + /*border-color: #6A97D4;*/ + border-color: white; } td.taglist { text-align: right; - vertical-align: top; - /* white-space: -moz-pre-wrap !important; // DJK */ + vertical-align: top; border-spacing: 13px 10px; - border-width: 0px 10px 0px 10px; - border-color: blue !important; + border-width: 0px 10px 0px 10px; + border-color: blue !important; } td.taglist td { width: 100px;