Changeset d3960278281b…
Parent 081068bed495…
by
Changes to 2 files · Browse files at d3960278281b Showing diff from parent 081068bed495 Diff from another changeset...
@@ -21,7 +21,7 @@ 'underline': 'text-decoration: underline',
}
-thgstylesheet = '* { white-space: pre; font-family: monospace; }'
+thgstylesheet = '* { white-space: pre; font-family: monospace; font-size: 9pt; }'
def configstyles(ui):
# extensions may provide more labels and default effects
|
Loading...