Björn Lindqvist 9ca00a3c75 help.stylesheet: make sizes calculated relative to the default-font-size ... This makes Factors ui much easier to adapt to hidpi screens. You change the default-font-size and elements should grow or shrink in proportion.		2015-10-24 14:44:30 +02:00
..
authors.txt	…
tips-docs.factor	…
tips.factor	help.stylesheet: make sizes calculated relative to the default-font-size	2015-10-24 14:44:30 +02:00