diff options
| author | sanine <sanine.not@pm.me> | 2022-08-23 13:38:27 -0500 |
|---|---|---|
| committer | sanine <sanine.not@pm.me> | 2022-08-23 13:38:27 -0500 |
| commit | 3afbf2a13b2dada445fb667bf25600407fea480a (patch) | |
| tree | 551329e6f74fc9f177616de0d6739e8b5331ae96 /libs/lua-5.1.5/doc/manual.css | |
| parent | 261e3f991221fbad6bbf262f5e65b773e4b6c73e (diff) | |
| parent | 25ed7eb9f84e9a822f698ad803901fbb2a5354cf (diff) | |
:wMerge branch 'gl-window' into main
Diffstat (limited to 'libs/lua-5.1.5/doc/manual.css')
| -rw-r--r-- | libs/lua-5.1.5/doc/manual.css | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/libs/lua-5.1.5/doc/manual.css b/libs/lua-5.1.5/doc/manual.css new file mode 100644 index 0000000..b49b362 --- /dev/null +++ b/libs/lua-5.1.5/doc/manual.css @@ -0,0 +1,24 @@ +h3 code { + font-family: inherit ; + font-size: inherit ; +} + +pre, code { + font-size: 12pt ; +} + +span.apii { + float: right ; + font-family: inherit ; + font-style: normal ; + font-size: small ; + color: gray ; +} + +p+h1, ul+h1 { + padding-top: 0.4em ; + padding-bottom: 0.4em ; + padding-left: 30px ; + margin-left: -30px ; + background-color: #E0E0FF ; +} |