diff options
| author | Lua Team <team@lua.org> | 2013-11-11 12:00:00 +0000 |
|---|---|---|
| committer | repogen <> | 2013-11-11 12:00:00 +0000 |
| commit | 357e7cdc32cd4224b03748e4f284857e47f70a68 (patch) | |
| tree | 43dd992e668609554251ce6b69df4c29d560835e /doc/manual.css | |
| parent | dc27609467d2699ac9252e89d632432ac5f798f2 (diff) | |
| download | lua-github-5.2.3.tar.gz | |
Diffstat (limited to 'doc/manual.css')
| -rw-r--r-- | doc/manual.css | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/manual.css b/doc/manual.css index 269bd435..ca613cd9 100644 --- a/doc/manual.css +++ b/doc/manual.css @@ -16,11 +16,12 @@ span.apii { } p+h1, ul+h1 { + font-style: normal ; padding-top: 0.4em ; padding-bottom: 0.4em ; - padding-left: 24px ; - margin-left: -24px ; - background-color: #E0E0FF ; + padding-left: 16px ; + margin-left: -16px ; + background-color: #D0D0FF ; border-radius: 8px ; + border: solid #000080 1px ; } - |