2 commits

Author	SHA1	Message	Date
El RIDO	17a468a4e5	updating prettify library to 453bd5f	2018-07-01 19:17:05 +02:00
El RIDO	cb28056223	made highlighting more configurable, added all four themes, there is now a configurable flavour text (notice)	2015-08-17 23:18:33 +02:00