gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-02-26 07:05:48 +01:00
Code Issues Projects Releases Wiki Activity

don't specify a font-size for the help page

Browse Source
This commit is contained in:
Doug Kearns
2007-06-13 07:53:24 +00:00
parent ac7cbe222e
commit b4c3d538fe
1 changed files with 12 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
chrome/content/vimperator/default.css
View File

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