1@import url("default.css"); 2 3body { 4 background-color: white; 5 margin-left: 1em; 6 margin-right: 1em; 7} 8 9div.related { 10 margin-bottom: 1.2em; 11 padding: 0.5em 0; 12 border-top: 1px solid #ccc; 13 margin-top: 0.5em; 14} 15 16div.related a:hover { 17 color: #0095C4; 18} 19 20div.related:first-child { 21 border-top: 0; 22 border-bottom: 1px solid #ccc; 23} 24 25.inline-search { 26 display: inline; 27} 28form.inline-search input { 29 display: inline; 30} 31form.inline-search input[type="submit"] { 32 width: 30px; 33} 34 35div.sphinxsidebar { 36 background-color: #eeeeee; 37 border-radius: 5px; 38 line-height: 130%; 39 font-size: smaller; 40} 41 42div.sphinxsidebar h3, div.sphinxsidebar h4 { 43 margin-top: 1.5em; 44} 45 46div.sphinxsidebarwrapper > h3:first-child { 47 margin-top: 0.2em; 48} 49 50div.sphinxsidebarwrapper > ul > li > ul > li { 51 margin-bottom: 0.4em; 52} 53 54div.sphinxsidebar a:hover { 55 color: #0095C4; 56} 57 58form.inline-search input, 59div.sphinxsidebar input { 60 font-family: 'Lucida Grande',Arial,sans-serif; 61 border: 1px solid #999999; 62 font-size: smaller; 63 border-radius: 3px; 64} 65 66div.sphinxsidebar input[type=text] { 67 max-width: 150px; 68} 69 70div.body { 71 padding: 0 0 0 1.2em; 72} 73 74div.body p { 75 line-height: 140%; 76} 77 78div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 { 79 margin: 0; 80 border: 0; 81 padding: 0.3em 0; 82} 83 84div.body hr { 85 border: 0; 86 background-color: #ccc; 87 height: 1px; 88} 89 90div.body pre { 91 border-radius: 3px; 92 border: 1px solid #ac9; 93} 94 95div.body div.admonition, div.body div.impl-detail { 96 border-radius: 3px; 97} 98 99div.body div.impl-detail > p { 100 margin: 0; 101} 102 103div.body div.seealso { 104 border: 1px solid #dddd66; 105} 106 107div.body a { 108 color: #0072aa; 109} 110 111div.body a:visited { 112 color: #6363bb; 113} 114 115div.body a:hover { 116 color: #00B0E4; 117} 118 119tt, code, pre { 120 font-family: monospace, sans-serif; 121 font-size: 96.5%; 122} 123 124div.body tt, div.body code { 125 border-radius: 3px; 126} 127 128div.body tt.descname, div.body code.descname { 129 font-size: 120%; 130} 131 132div.body tt.xref, div.body a tt, div.body code.xref, div.body a code { 133 font-weight: normal; 134} 135 136.deprecated { 137 border-radius: 3px; 138} 139 140table.docutils { 141 border: 1px solid #ddd; 142 min-width: 20%; 143 border-radius: 3px; 144 margin-top: 10px; 145 margin-bottom: 10px; 146} 147 148table.docutils td, table.docutils th { 149 border: 1px solid #ddd !important; 150 border-radius: 3px; 151} 152 153table p, table li { 154 text-align: left !important; 155} 156 157table.docutils th { 158 background-color: #eee; 159 padding: 0.3em 0.5em; 160} 161 162table.docutils td { 163 background-color: white; 164 padding: 0.3em 0.5em; 165} 166 167table.footnote, table.footnote td { 168 border: 0 !important; 169} 170 171div.footer { 172 line-height: 150%; 173 margin-top: -2em; 174 text-align: right; 175 width: auto; 176 margin-right: 10px; 177} 178 179div.footer a:hover { 180 color: #0095C4; 181} 182 183.refcount { 184 color: #060; 185} 186 187.stableabi { 188 color: #229; 189} 190 191.highlight { 192 background: none !important; 193} 194 195