15 Commits (7643946329936cc9988417075a30cf93e7a88f9d)

Author SHA1 Message Date
Tymoteusz Makowski be2170a059
Added JetBrains Mono font. (#962) 5 years ago
Mike Fix b12c3f802c lint and prettier 6 years ago
Michael Fix 0580e1c8e8
Separate API service, deploy frontend statically (#474)
* extract server into separate service

* fix basic tests with url.parse

* use Next withRouter

* remove old custom next rendering
6 years ago
Michael Fix a9b25e05a3
Performance improvements (#458)
* Performance improvements

- Use font-display: swap
- Preload CSS links
- Compress all request payloads

* inline react spinner css

* remove @zeit/next-css, move custom themes to static

* update contributing docs

* spinner styles

* move spinner back to top level

* load codemirror synchronously
6 years ago
Yashu Mittal 22f2ea673e Space mono normal font (#462)
* Arranging in alphabetical order

* Add Space Mono (normal) font

* Added myself as contributor
6 years ago
Eric Adamski fd63008f12 Add Supoprt for IBM Plex Mono (#324)
* Add support for IBM Plex Mono (Italic) font

* Add myself as a contributor

* Alphabetize Fonts
7 years ago
Camron Flanders 98403b2ad2 Add Monoid Font (#314)
* Add Fantasque Sans Mono as font-face

* Add Fantasque Sans mono to constants

* Set to regular weight, not bold

* forgot to add myself as contrib

* add Monoid font
7 years ago
Camron Flanders eef096bc49 Add Fantasque Sans Mono font (#313)
* Add Fantasque Sans Mono as font-face

* Add Fantasque Sans mono to constants

* Set to regular weight, not bold
7 years ago
Michael Fix 5a4cdd7d7f
Lint and fix issues, don't add linting yet though (#293)
* Lint and fix issue, don't add linting yet though

* Clean up

* Remove /about href
7 years ago
Jake Dexheimer 4d9793f3df Remove non-woff fonts 7 years ago
Jake Dexheimer c90099f72a Merge remote-tracking branch 'origin/master' into HEAD 7 years ago
Jake Dexheimer 12ce55b89a Remove non-woff fonts 7 years ago
Michael Fix 70928b765e Iosevka font (#268)
- Closes #233
7 years ago
Mike Fix 28577aaf64 Font fixes 7 years ago
Jake Dexheimer 38cc0f91af Font support (#149)
* Add font family/font size support

* Load fonts with css

* Change settings item order
7 years ago