|
css
|
divided the settings page into groups
|
2020-06-03 23:48:26 +01:00 |
|
js
|
added annotation plugin
|
2020-06-04 18:54:58 +01:00 |
|
themes
|
fix: monokai theme button hover
|
2020-06-04 10:01:32 -06:00 |
|
webfonts
|
added local font awesome to speed up the app
|
2020-05-14 18:57:10 +01:00 |
|
favicon.png
|
change the smooth caret behaviour
|
2020-05-14 18:57:09 +01:00 |
|
index.html
|
divided the settings page into groups
|
2020-06-03 23:48:26 +01:00 |
|
soon.html
|
added local font awesome to speed up the app
|
2020-05-14 18:57:10 +01:00 |
