Update prism js version

Use latest version of prism, add json formatter, copy to clipboard plugin,
and line-numbers.
Now the clipboard js is automatically loaded by prism it  it not included
and the buttons are automatically initialized. Though I added some css to
match the previous style.
This commit is contained in:
Maximilian Krög
2020-07-25 19:27:38 +02:00
parent e723061f9b
commit e39e3ea152
7 changed files with 311 additions and 205 deletions

File diff suppressed because one or more lines are too long