You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
/* In a bid to be "mobile-friendly" by default about 1/3 of the horizontal space is wasted;
|
|
|
|
|
this CSS removes the wasted space. */
|
|
|
|
|
.wy-nav-content {
|
|
|
|
|
max-width: none;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Temporary workaround for RTD 0.4.3 bug https://github.com/readthedocs/sphinx_rtd_theme/issues/117 which will hopefully be fixed soon
|
|
|
|
|
*/
|
|
|
|
|
@media screen and (min-width: 767px) {
|
|
|
|
|
|
|
|
|
|
.wy-table-responsive table td {
|
|
|
|
|
/* !important prevents the common CSS stylesheets from overriding
|
|
|
|
|
this as on RTD they are loaded after this stylesheet */
|
|
|
|
|
white-space: normal !important;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.wy-table-responsive {
|
|
|
|
|
overflow: visible !important;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Piercecco's Workaround */
|
|
|
|
|
.wy-menu p {
|
|
|
|
|
color: #66a5d9;
|
|
|
|
|
height: 32px;
|
|
|
|
|
line-height: 32px;
|
|
|
|
|
padding: 0 1.618em;
|
|
|
|
|
margin: 12px 0 0;
|
|
|
|
|
display: block;
|
|
|
|
|
font-weight: 700;
|
|
|
|
|
text-transform: uppercase;
|
|
|
|
|
font-size: 85%;
|
|
|
|
|
white-space: nowrap;
|
|
|
|
|
}
|
|
|
|
|
/* Piercecco's Workaround */
|
|
|
|
|
.toctree-wrapper p {
|
|
|
|
|
color: #175ba9;
|
|
|
|
|
height: 32px;
|
|
|
|
|
line-height: 32px;
|
|
|
|
|
padding: 0;
|
|
|
|
|
margin: 12px 0 0;
|
|
|
|
|
display: block;
|
|
|
|
|
font-weight: 700;
|
|
|
|
|
text-transform: uppercase;
|
|
|
|
|
font-size: 85%;
|
|
|
|
|
white-space: nowrap;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|