/* 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; } }