From jugglingpatterns
Content deleted Content added
No edit summary |
No edit summary |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
/* CSS placed here will be applied to all skins */ |
/* CSS placed here will be applied to all skins */ |
||
@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 */ |
|||
.throw-sequence { |
pre,.throw-sequence { |
||
white-space: pre; |
white-space: pre; |
||
overflow-x: auto; |
overflow-x: auto; |
||
font-family: monospace; |
font-family: monospace; |
||
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;
}
