115 lines · css
1pre {2 padding: 7px;3}4 5div.document {6 width: 90%;7}8 9div.note {10 padding: 20px 20px 10px 20px;11}12 13div.note p.admonition-title {14 font-size: 130%;15}16 17table.mapping {18 width: 100%;19}20 21table.mapping td {22 width: 50%;23 padding: 5px;24}25 26table.mapping td.hed {27 background: #606060;28 color: #fefefe;29 text-align: left;30 border-bottom: 2px #fefefe solid;31 font-weight: bold;32}33 34table.mapping td.header {35 background: #eeeeee;36}37 38table.mapping td.content {39 font-family: monospace;40 padding-bottom: 15px;41}42 43/* Workaround for a Safari bug that would otherwise make table cells less wide44than the containing text. This just sets it back to the default browser45property.*/46td {47 -webkit-hyphens: manual !important;48}49 50div.sphinxsidebar .caption {51 font-family: Helvetica, Verdana, sans-serif;52 font-size: 10pt;53 font-weight: bold;54 color: #fefefe;55 background: #606060;56 margin-bottom: 0;57 text-transform: uppercase;58 padding: 7px;59}60 61div.sphinxsidebar a,62div.sphinxsidebar a:hover {63 border: none;64}65 66div.sphinxsidebar li {67 padding-left: 7px;68 border-bottom: 1px solid #fefefe;69}70 71div.sphinxsidebar li:hover {72 background: #ccddee;73}74 75div.sphinxsidebar ul {76 background: #bbccdd;77 margin: 0px;78 padding: 0px;79}80 81div.sphinxsidebar ul a {82 font-family: Helvetica, Verdana, sans-serif;83 font-size: 8pt;84 display: block;85 padding: 5px 0;86 line-height: 14pt;87}88 89div.sphinxsidebar ul li.toctree-l1 > a {90 font-size: 100%;91}92 93div.sphinxsidebar h3 {94 /* Hide Navigation. */95 display: none;96}97 98@media screen and (min-width: 875px) {99div.body {100 max-width: 90%;101}102}103 104@media screen and (max-width: 875px) {105div.sphinxsidebar {106 margin-left: 0px;107 margin-right: 0px;108}109 110div.body {111 min-width: auto;112 max-width: auto;113}114}115