diff options
Diffstat (limited to 'css/stylesheet.css')
-rw-r--r-- | css/stylesheet.css | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/css/stylesheet.css b/css/stylesheet.css index 2393f8f..3bc204e 100644 --- a/css/stylesheet.css +++ b/css/stylesheet.css @@ -55,30 +55,3 @@ 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; -} |