Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Press Ctrl-F5.
/* All CSS here will be loaded for users of the Cosmos skin */
body * {
font-family: system-ui,
-apple-system, BlinkMacSystemFont,
"Segoe UI",
"Roboto",
"Oxygen",
"Ubuntu",
"Cantarell",
"Fira Sans",
"Droid Sans",
"Helvetica Neue",
Arial, sans-serif;
}
pre,
pre * {
font-family: ui-monospace,
Menlo, Monaco,
"Cascadia Mono", "Segoe UI Mono",
"Roboto Mono",
"Oxygen Mono",
"Ubuntu Monospace",
"Source Code Pro",
"Fira Mono",
"Droid Sans Mono",
"Courier New", monospace;
}
a.selflink:not(.new) {
color: #000;
}
/*
* Table
*/
table {
overflow: auto;
display: block;
max-width: 100vw;
}
.wikitable {
background-color: transparent;
border: none;
}
.wikitable > * > tr > th {
background-color: hsl(0, 0%, 94.9%) !important;
}
/*
* Header
*/
.cosmos-header .wds-button.wds-is-secondary {
color: #000;
background-color: rgba(0, 30, 59, 0.1);
border-color: rgb(148, 171, 172);
}
.cosmos-header .wds-button.wds-is-secondary:hover {
background-color: rgba(0, 30, 59, 0.3);
border-color: rgb(51, 65, 65);
}
.cosmos-header .wds-button-group > .wds-dropdown:not(:first-child) .wds-button {
border-left-color: rgb(148, 171, 172);
}
.cosmos-header .wds-button-group > .wds-dropdown:not(:first-child) .wds-button:hover {
border-left-color: rgb(51, 65, 65);
}
.toc {
border-radius: 4px;
}
#catlinks {
padding: 0.75em 1em;
border-radius: 4px;
}