switch design to bootstrap; minor fixes along the way

Initial-work-by: Oliver Mader <b52@reaktor42.de>
Additional-work-by: Markus Cisler <mrkscslr@gmail.com>
Signed-off-by: Florian Pritz <bluewind@xinu.at>

1 files changed, 7 insertions, 0 deletions

diff --git a/scripts/get_lexer_list.py b/scripts/get_lexer_list.py
new file mode 100755
index 000000000..31e8e3650
--- /dev/null
+++ b/scripts/get_lexer_list.py
@@ -0,0 +1,7 @@
+#!/usr/bin/python
+
+import pygments.lexers
+
+for fullname, names, exts, _ in pygments.lexers.get_all_lexers():
+    for name in names:
+        print(("%s|%s") % (name, fullname))