Add padding to <pre> environment
authorJoey Schulze <joey@infodrom.org>
Mon, 18 Aug 2008 12:19:35 +0000 (12:19 +0000)
committerJoey Schulze <joey@infodrom.org>
Mon, 18 Aug 2008 12:19:35 +0000 (12:19 +0000)
commit04d91c1ce5b2499f7c8816f231e938991321d03f
tree4d995fa2f5e90b5a2cfebc89d12e8207be4b5fe4
parent38e2a5ff9b2cee0fa5f016d4e1e7b0b380749653
Add padding to <pre> environment
src/infodrom.css