diff options
Diffstat (limited to '3rdparty/lua/doc/manual.css')
-rw-r--r-- | 3rdparty/lua/doc/manual.css | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/3rdparty/lua/doc/manual.css b/3rdparty/lua/doc/manual.css index ca613cd9fb1..aa0e677dd52 100644 --- a/3rdparty/lua/doc/manual.css +++ b/3rdparty/lua/doc/manual.css @@ -8,20 +8,14 @@ pre, code { } span.apii { + color: gray ; float: right ; font-family: inherit ; font-style: normal ; font-size: small ; - color: gray ; } -p+h1, ul+h1 { - font-style: normal ; - padding-top: 0.4em ; - padding-bottom: 0.4em ; - padding-left: 16px ; - margin-left: -16px ; - background-color: #D0D0FF ; - border-radius: 8px ; - border: solid #000080 1px ; +h2:before { + content: "" ; + padding-right: 0em ; } |