2015-10-22 19:57:18 -06:00
|
|
|
/* Keybinding CSS from the DF wiki; applies to :kbd:`` directives.
|
|
|
|
* Use this directive for all keypresses, to make them look like keys.
|
|
|
|
*/
|
2017-06-17 17:57:32 -06:00
|
|
|
.kbd {
|
2015-10-22 19:57:18 -06:00
|
|
|
border: 1px solid #aaa;
|
|
|
|
border-radius: 0.2em;
|
|
|
|
-webkit-border-radius: 0.2em;
|
|
|
|
-moz-border-radius: 0.2em;
|
|
|
|
-o-border-radius: 0.2em; -ms-border-radius: 0.2em;
|
|
|
|
-moz-box-shadow: 0.1em 0.2em 0.2em #ddd;
|
|
|
|
-webkit-box-shadow: 0.1em 0.2em 0.2em #ddd;
|
|
|
|
box-shadow: 0.1em 0.2em 0.2em #ddd;
|
|
|
|
background-color: #f9f9f9;
|
|
|
|
background-image: -moz-linear-gradient(top, #eee, #f9f9f9, #eee);
|
|
|
|
background-image: -o-linear-gradient(top, #eee, #f9f9f9, #eee);
|
|
|
|
background-image: -webkit-linear-gradient(top, #eee, #f9f9f9, #eee);
|
|
|
|
background-image: linear-gradient(to bottom, #eee, #f9f9f9, #eee);
|
|
|
|
padding: 0.1em 0.3em;
|
|
|
|
font-family: sans-serif;
|
|
|
|
font-size: 0.8em;
|
|
|
|
}
|
|
|
|
|
|
|
|
@font-face {
|
|
|
|
font-family: cp437;
|
|
|
|
src: url("cp437.ttf");
|
|
|
|
}
|
|
|
|
|
|
|
|
/* In-game text CSS from the DF wiki; applies to :guilabel:`` directives.
|
|
|
|
* Use this for any text from an in-game announcement or menu.
|
|
|
|
*/
|
2017-06-17 17:57:32 -06:00
|
|
|
.guilabel {
|
2015-10-22 19:57:18 -06:00
|
|
|
color: #CBC7C0;
|
2015-10-22 21:22:52 -06:00
|
|
|
font-family: cp437, 'fixedsys', monospace;
|
2015-10-22 19:57:18 -06:00
|
|
|
background: #000000;
|
|
|
|
font-size: 0.95em;
|
|
|
|
padding: 0.05em 0.4em;
|
|
|
|
}
|
2017-06-17 17:57:32 -06:00
|
|
|
|
|
|
|
/* Override hyphenation from Sphinx's basic.css (excessive) */
|
|
|
|
div.body p, div.body dd, div.body li, div.body blockquote {
|
|
|
|
-moz-hyphens: manual;
|
|
|
|
-ms-hyphens: manual;
|
|
|
|
-webkit-hyphens: manual;
|
|
|
|
hyphens: manual;
|
|
|
|
}
|
2020-07-03 18:42:23 -06:00
|
|
|
|
|
|
|
div.sphinxsidebar {
|
|
|
|
max-height: 100%;
|
|
|
|
overflow-y: auto;
|
|
|
|
}
|
|
|
|
|
2020-07-11 22:30:28 -06:00
|
|
|
div.sphinxsidebar h3.logo-name a {
|
2020-07-03 18:42:23 -06:00
|
|
|
border-bottom: 1px dotted #999;
|
|
|
|
}
|
2020-07-10 17:59:34 -06:00
|
|
|
|
|
|
|
div.body {
|
|
|
|
min-width: unset;
|
|
|
|
}
|
2020-07-15 19:15:07 -06:00
|
|
|
|
2020-10-09 10:16:25 -06:00
|
|
|
span.pre {
|
|
|
|
overflow-wrap: break-word;
|
|
|
|
}
|