1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-06 20:04:11 +01:00

Add tags for individual versions in :help news. Fix dactyl.exportHelp.

This commit is contained in:
Kris Maglione
2011-03-09 07:09:18 -05:00
parent b53beeec06
commit 0d32e64630
3 changed files with 10 additions and 8 deletions

View File

@@ -386,7 +386,7 @@ var ConfigBase = Class("ConfigBase", {
Disabled color: red;
FontFixed font-family: monospace !important;
FontCode font-size: 9pt; font-family: -mox-fixed, monospace !important;
FontCode font-size: 9pt; font-family: monospace !important;
FontProportional font-size: 10pt; font-family: "Droid Sans", "Helvetica LT Std", Helvetica, "DejaVu Sans", Verdana, sans-serif !important;
// Hack to give these groups slightly higher precedence