diff options
Diffstat (limited to 'web/static')
| l--------- | web/static/css/highlight | 1 | ||||
| -rw-r--r-- | web/static/images/themes/code_themes/github.png | bin | 9648 -> 0 bytes | |||
| -rw-r--r-- | web/static/images/themes/code_themes/monokai.png | bin | 9303 -> 0 bytes | |||
| -rw-r--r-- | web/static/images/themes/code_themes/solarized_dark.png | bin | 8172 -> 0 bytes | |||
| -rw-r--r-- | web/static/images/themes/code_themes/solarized_light.png | bin | 8860 -> 0 bytes |
5 files changed, 0 insertions, 1 deletions
diff --git a/web/static/css/highlight b/web/static/css/highlight deleted file mode 120000 index c774cf397..000000000 --- a/web/static/css/highlight +++ /dev/null @@ -1 +0,0 @@ -../../react/node_modules/highlight.js/styles/
\ No newline at end of file diff --git a/web/static/images/themes/code_themes/github.png b/web/static/images/themes/code_themes/github.png Binary files differdeleted file mode 100644 index d0538d6c0..000000000 --- a/web/static/images/themes/code_themes/github.png +++ /dev/null diff --git a/web/static/images/themes/code_themes/monokai.png b/web/static/images/themes/code_themes/monokai.png Binary files differdeleted file mode 100644 index 8f92d2a18..000000000 --- a/web/static/images/themes/code_themes/monokai.png +++ /dev/null diff --git a/web/static/images/themes/code_themes/solarized_dark.png b/web/static/images/themes/code_themes/solarized_dark.png Binary files differdeleted file mode 100644 index 76055c678..000000000 --- a/web/static/images/themes/code_themes/solarized_dark.png +++ /dev/null diff --git a/web/static/images/themes/code_themes/solarized_light.png b/web/static/images/themes/code_themes/solarized_light.png Binary files differdeleted file mode 100644 index b9595c22d..000000000 --- a/web/static/images/themes/code_themes/solarized_light.png +++ /dev/null |
