From jugglingpatterns
Content deleted Content added
No edit summary |
No edit summary |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
@import "/js/darkreader_export.css"; |
@import "/js/darkreader_export.css"; |
||
/* this should only be .throw-sequence over time. TODO: the class=throw-sequence should be added to all occurances where pre is used to show throw sequences */ |
/* this should only be .throw-sequence over time. TODO: the class=throw-sequence should be added to all occurances where pre is used to show throw sequences */ |
||
pre |
pre,.throw-sequence { |
||
white-space: pre; |
white-space: pre; |
||
overflow-x: auto; |
overflow-x: auto; |
||
| Line 8: | Line 8: | ||
font-size: 1.4em; |
font-size: 1.4em; |
||
background-color: #222222; |
background-color: #222222; |
||
color: #ffffff; |
|||
border: 1px solid #444444; |
border: 1px solid #444444; |
||
border-radius: 4px; |
border-radius: 4px; |
||
Latest revision as of 15:32, 13 January 2025
/* CSS placed here will be applied to all skins */
@import "/js/darkreader_export.css";
/* this should only be .throw-sequence over time. TODO: the class=throw-sequence should be added to all occurances where pre is used to show throw sequences */
pre,.throw-sequence {
white-space: pre;
overflow-x: auto;
font-family: monospace;
font-size: 1.4em;
background-color: #222222;
color: #ffffff;
border: 1px solid #444444;
border-radius: 4px;
}