diff options
author | Jacob Janzen <jjanzenn@proton.me> | 2024-04-15 11:22:53 -0500 |
---|---|---|
committer | Jacob Janzen <jjanzenn@proton.me> | 2024-04-15 11:22:53 -0500 |
commit | 6bd946899c2290560cf4725bb72f0f1643839efc (patch) | |
tree | 4daa8a03c6367d03936321ddece7274f3ead8944 /css | |
parent | f3b6e058d65c164f0c872f21c8d2e5c423d23d44 (diff) |
update stylesheet
Diffstat (limited to 'css')
-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; +} |