update stylesheet

This commit is contained in:
Jacob Janzen 2024-04-15 11:22:53 -05:00
parent f3b6e058d6
commit 6bd946899c

View file

@ -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;
}