9ca00a3c75
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. |
||
|---|---|---|
| .. | ||
| apropos | ||
| cookbook | ||
| crossref | ||
| definitions | ||
| handbook | ||
| home | ||
| html | ||
| lint | ||
| markup | ||
| search | ||
| stylesheet | ||
| syntax | ||
| tips | ||
| topics | ||
| tutorial | ||
| vocabs | ||
| authors.txt | ||
| help-docs.factor | ||
| help-tests.factor | ||
| help.factor | ||
| summary.txt | ||