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.
49 lines
1.2 KiB
49 lines
1.2 KiB
/* 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; |
|
} |
|
} |
|
|
|
|