diff --git a/doc/user/tnt.css b/doc/user/tnt.css index 70562743e2fdfb335ba1d5e5f303e45aa7e1ce82..5911992c4716741630e782bc44a77a31eafd783a 100644 --- a/doc/user/tnt.css +++ b/doc/user/tnt.css @@ -1,23 +1,28 @@ .tntadmin { - font-family: monospace; - font-weight: bold; - text-transform: uppercase; - color: green; + font-family: monospace; + font-weight: bold; + text-transform: uppercase; + color: green; } .lua { - font-family: monospace; - font-weight: bold; + font-family: monospace; + font-weight: bold; } -.hl-keyword { - color: green; - font-weight: bold; +strong.hl-keyword { + color: green !important; + font-weight: bold; } -.hl-comment{ - color: blue; - font-weight: bold; +em.hl-comment { + color: #3366FF !important; + font-weight: normal; +} + +strong.hl-string em { + color: red !important; + font-weight: bold; } body { @@ -28,7 +33,6 @@ body { .book { margin: 2pt auto; - /*font-family: Verdana, Arial, Helvetica, sans-serif; */ font-size: 100% }