On a device like a laptop panel with a higher resolution than 96dpi, the
font size defined as 11px is very small. The Gecko engine does not scale
the unit pixel according the resolution of the output device as requested
by the CSS standard. Hence, pixel is a bad unit to define font sizes and
other dynamic dimension.
The unit em is better suited, because it refers to the current font size,
that should already set to a suitable value.
---
style/default/new-tabs.css | 18 +++++++++---------
1 files changed, 9 insertions(+), 9 deletions(-)
diff --git a/style/default/new-tabs.css b/style/default/new-tabs.css
index 315e862..ec52862 100644
--- a/style/default/new-tabs.css
+++ b/style/default/new-tabs.css
@@ -8,26 +8,26 @@
.tab2 {
-moz-appearance: tab;
-moz-box-align: center;
- min-width: 200px;
- max-width: 300px;
+ min-width: 10em;
+ max-width: 15em;
}
.tab2-label {
-moz-box-flex: 100;
- margin-left: 4px;
- padding-top: 1px;
- font: 11px Sans;
+ margin-left: 4pt;
+ padding-top: 1pt;
+ font: 10pt Sans;
}
.tab2-index {
- padding: 0px 2px 0px 3px;
- font: 900 11px Sans;
+ padding: 0pt 2pt 0pt 3pt;
+ font: 900 10pt Sans;
text-align: center;
}
.tab2-icon {
width: 16px;
height: 16px;
- -moz-margin-start: 4px;
- -moz-margin-end: 3px;
+ -moz-margin-start: 4pt;
+ -moz-margin-end: 3pt;
}
--
1.7.4.4
_______________________________________________
Conkeror mailing list
[email protected]
https://www.mozdev.org/mailman/listinfo/conkeror
