2016-07-03 02:05:28 -06:00
|
|
|
/* -*- coding: utf-8; mode: css -*-
|
|
|
|
*
|
2016-07-03 02:09:32 -06:00
|
|
|
* Sphinx HTML theme customization: read the doc
|
2016-07-03 02:05:28 -06:00
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
@media screen {
|
|
|
|
|
2016-07-03 02:09:32 -06:00
|
|
|
/* content column
|
|
|
|
*
|
|
|
|
* RTD theme's default is 800px as max width for the content, but we have
|
|
|
|
* tables with tons of columns, which need the full width of the view-port.
|
|
|
|
*/
|
|
|
|
|
|
|
|
.wy-nav-content{max-width: none; }
|
|
|
|
|
|
|
|
/* table:
|
|
|
|
*
|
|
|
|
* - Sequences of whitespace should collapse into a single whitespace.
|
|
|
|
* - make the overflow auto (scrollbar if needed)
|
|
|
|
* - align caption "left" ("center" is unsuitable on vast tables)
|
|
|
|
*/
|
|
|
|
|
|
|
|
.wy-table-responsive table td { white-space: normal; }
|
|
|
|
.wy-table-responsive { overflow: auto; }
|
|
|
|
.rst-content table.docutils caption { text-align: left; font-size: 100%; }
|
|
|
|
|
2016-07-03 02:14:03 -06:00
|
|
|
/* captions:
|
|
|
|
*
|
|
|
|
* - captions should have 100% (not 85%) font size
|
|
|
|
* - hide the permalink symbol as long as link is not hovered
|
|
|
|
*/
|
|
|
|
|
2016-07-19 09:35:08 -06:00
|
|
|
.toc-title {
|
|
|
|
font-size: 150%;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
2016-07-03 02:14:03 -06:00
|
|
|
caption, .wy-table caption, .rst-content table.field-list caption {
|
|
|
|
font-size: 100%;
|
|
|
|
}
|
|
|
|
caption a.headerlink { opacity: 0; }
|
|
|
|
caption a.headerlink:hover { opacity: 1; }
|
|
|
|
|
2016-09-19 05:07:35 -06:00
|
|
|
/* Menu selection and keystrokes */
|
|
|
|
|
|
|
|
span.menuselection {
|
|
|
|
color: blue;
|
|
|
|
font-family: "Courier New", Courier, monospace
|
|
|
|
}
|
|
|
|
|
|
|
|
code.kbd, code.kbd span {
|
|
|
|
color: white;
|
|
|
|
background-color: darkblue;
|
|
|
|
font-weight: bold;
|
|
|
|
font-family: "Courier New", Courier, monospace
|
|
|
|
}
|
|
|
|
|
2016-08-05 03:19:43 -06:00
|
|
|
/* inline literal: drop the borderbox, padding and red color */
|
2016-07-03 02:14:03 -06:00
|
|
|
|
|
|
|
code, .rst-content tt, .rst-content code {
|
|
|
|
color: inherit;
|
|
|
|
border: none;
|
2016-08-05 03:19:43 -06:00
|
|
|
padding: unset;
|
2016-07-03 02:14:03 -06:00
|
|
|
background: inherit;
|
|
|
|
font-size: 85%;
|
|
|
|
}
|
|
|
|
|
|
|
|
.rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
|
|
|
|
color: inherit;
|
|
|
|
}
|
2016-07-03 02:05:28 -06:00
|
|
|
}
|