redis/deps/lua/doc/manual.css

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 ;
}
makefile adapted to link against lua lib and to pass the 32bit flag to Lua building system 2011-04-30 16:15:30 +02:00			`h3 code {`
			`font-family: inherit ;`
Lua updated to version 5.1.5. 2013-04-29 12:00:54 +02:00			`font-size: inherit ;`
makefile adapted to link against lua lib and to pass the 32bit flag to Lua building system 2011-04-30 16:15:30 +02:00			`}`

Lua updated to version 5.1.5. 2013-04-29 12:00:54 +02:00			`pre, code {`
			`font-size: 12pt ;`
makefile adapted to link against lua lib and to pass the 32bit flag to Lua building system 2011-04-30 16:15:30 +02:00			`}`

			`span.apii {`
			`float: right ;`
			`font-family: inherit ;`
Lua updated to version 5.1.5. 2013-04-29 12:00:54 +02:00			`font-style: normal ;`
			`font-size: small ;`
			`color: gray ;`
makefile adapted to link against lua lib and to pass the 32bit flag to Lua building system 2011-04-30 16:15:30 +02:00			`}`

Lua updated to version 5.1.5. 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 ;`
			`}`