From jugglingpatterns
Content deleted Content added
No edit summary |
No edit summary |
||
| (22 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"; |
|||
#content-container, #header-navigation-container, #footer,#body,#content-header,#toc { |
|||
/* 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; |
|||
| ⚫ | |||
| ⚫ | |||
border: 1px solid #444444; |
|||
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;
}
