diff options
-rw-r--r-- | css/stylesheet.css | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/css/stylesheet.css b/css/stylesheet.css index 3bc204e..2393f8f 100644 --- a/css/stylesheet.css +++ b/css/stylesheet.css @@ -55,3 +55,30 @@ a:hover { text-align: left; } } + +pre { + border: 1px solid #e6e6e6; + border-radius: 3px; + background-color: #f2f2f2; + padding: 8pt; + font-family: monospace; + font-size: 10px; + overflow-x: scroll; + overflow-y: visible; + margin: 1.2em; +} + +pre.src { + position: relative; + overflow: auto; +} + +pre.src:before { + display: none; + position: absolute; + bottom: -16px; + right: 12px; + padding: 3px; + color: #555; + background-color: #f2f2f2; +} |