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 | 0 -> 9648 bytes | |||
| -rw-r--r-- | web/static/images/themes/code_themes/monokai.png | bin | 0 -> 9303 bytes | |||
| -rw-r--r-- | web/static/images/themes/code_themes/solarized_dark.png | bin | 0 -> 8172 bytes | |||
| -rw-r--r-- | web/static/images/themes/code_themes/solarized_light.png | bin | 0 -> 8860 bytes |
5 files changed, 1 insertions, 0 deletions
diff --git a/web/static/css/highlight b/web/static/css/highlight new file mode 120000 index 000000000..c774cf397 --- /dev/null +++ b/web/static/css/highlight @@ -0,0 +1 @@ +../../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 differnew file mode 100644 index 000000000..d0538d6c0 --- /dev/null +++ b/web/static/images/themes/code_themes/github.png diff --git a/web/static/images/themes/code_themes/monokai.png b/web/static/images/themes/code_themes/monokai.png Binary files differnew file mode 100644 index 000000000..8f92d2a18 --- /dev/null +++ b/web/static/images/themes/code_themes/monokai.png diff --git a/web/static/images/themes/code_themes/solarized_dark.png b/web/static/images/themes/code_themes/solarized_dark.png Binary files differnew file mode 100644 index 000000000..76055c678 --- /dev/null +++ b/web/static/images/themes/code_themes/solarized_dark.png diff --git a/web/static/images/themes/code_themes/solarized_light.png b/web/static/images/themes/code_themes/solarized_light.png Binary files differnew file mode 100644 index 000000000..b9595c22d --- /dev/null +++ b/web/static/images/themes/code_themes/solarized_light.png |
