diff --git a/static/css/screen.css b/static/css/screen.css index ac04835717a05dffbada1b3b4be5f3da0035e793..09676ac149452c5d85a2a2ffad9866a637131878 100644 --- a/static/css/screen.css +++ b/static/css/screen.css @@ -167,11 +167,29 @@ div.codehilite { border-radius: 5px; } + code, pre { font-family: monospace; background-color: rgb(238, 238, 238); } +/*sub and sup stolen from Twitter bootstrap.*/ +sub, +sup { + position: relative; + font-size: 75%; + line-height: 0; + vertical-align: baseline; +} + +sup { + top: -0.5em; +} + +sub { + bottom: -0.25em; +} + .post pre, .page pre { padding: .5em; font-size: 12px;