Andrew Dassonville
830442c64a
Add support for first line number setting ( #849 )
...
* Add support for first line number setting
* Set min value to 0
* Add number types
* add label and width settings to Input
* use Input component instead of Text
* remove unused types
* first-row -> first-line-number-row
* more .row into global stylesheet
5 years ago
Mike Fix
28a455eecc
remove unused css
6 years ago
Mike Fix
7f7e38dbc8
fix div button styles
6 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
Jake Dexheimer
b7c8466711
fix mobile overflow issue ( #468 )
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
Michael Fix
95f0a27111
Begin responsiveness overhaul ( #457 )
...
Closes #435
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
04de6cae53
Remove body height
7 years ago
Jake Dexheimer
ec412e6391
Fix height overflow
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
Andrew
3cbcb49c27
Remove semicolons
7 years ago
Andrew Dassonville
7e69ca2897
Add prettier
7 years ago
Jake Dexheimer
bb38cd1d63
Fix overflow-x
7 years ago
Jake Dexheimer
d819727285
add file drop overlay
7 years ago
Jake Dexheimer
bf374f1728
Clean up styles
...
- Move globals out of Meta component
- Create style components for Reset and TypeSystem
7 years ago