1
0
mirror of https://github.com/fluencelabs/redis synced 2025-06-22 13:31:32 +00:00
Files
deps
hiredis
jemalloc
linenoise
lua
doc
contents.html
cover.png
logo.gif
lua.1
lua.css
lua.html
luac.1
luac.html
manual.css
manual.html
readme.html
etc
src
test
COPYRIGHT
HISTORY
INSTALL
Makefile
README
Makefile
src
tests
utils
.gitignore
00-RELEASENOTES
BUGS
CONTRIBUTING
COPYING
Changelog
INSTALL
MANIFESTO
Makefile
README
redis.conf
runtest
sentinel.conf
redis/deps/lua/doc/manual.css

25 lines
341 B
CSS
Raw Normal View History

h3 code {
font-family: inherit ;
2013-04-29 12:00:54 +02:00
font-size: inherit ;
}
2013-04-29 12:00:54 +02:00
pre, code {
font-size: 12pt ;
}
span.apii {
float: right ;
font-family: inherit ;
2013-04-29 12:00:54 +02:00
font-style: normal ;
font-size: small ;
color: gray ;
}
2013-04-29 12:00:54 +02:00
p+h1, ul+h1 {
padding-top: 0.4em ;
padding-bottom: 0.4em ;
padding-left: 30px ;
margin-left: -30px ;
background-color: #E0E0FF ;
}