Commit Graph

9 Commits (1728c9793c2bfbc11d14d10450aad66ffd877622)

Author SHA1 Message Date
Hakim El Hattab 5e5013645d move fonts from lib/fonts to dist/theme/fonts 2020-05-19 11:03:16 +02:00
Hakim El Hattab fbbae1dc55 switch to monokai as default syntax highlight theme 2019-03-12 11:26:10 +01:00
Hakim El Hattab 8162855d23 increase default font sizes, adjust config defaults for less margings and larger max scale #1605 2016-06-10 10:58:40 +02:00
Hakim El Hattab 18b644cf8f ©️ ©️ ©️ ©️ ©️ closes #1469 2016-01-04 09:29:55 +01:00
Hakim El Hattab 06ad3bf4c2 reorganize fonts, include source sans pro for offline use 2015-01-06 17:37:14 +01:00
Hakim El Hattab 25a674a3c2 new font & type settings for default theme 2015-01-06 11:42:23 +01:00
Hakim El Hattab 05403bcf16 first revision of new default theme #1018 2014-12-10 18:19:04 +01:00
Hakim El Hattab bd176411ef style tweaks for all themes; larger line heights, no default adjustmetn to letter-spacing 2014-09-28 12:14:48 +02:00
Hakim El Hattab 9ef0060024 add new black theme 2014-09-28 11:17:16 +02:00