1061da546Spatrickpre { 2061da546Spatrick padding: 7px; 3061da546Spatrick} 4061da546Spatrick 5061da546Spatrickdiv.document { 6061da546Spatrick width: 90%; 7061da546Spatrick} 8061da546Spatrick 9061da546Spatrickdiv.body { 10061da546Spatrick max-width: 90%; 11061da546Spatrick} 12061da546Spatrick 13061da546Spatrickdiv.note { 14061da546Spatrick padding: 20px 20px 10px 20px; 15061da546Spatrick} 16061da546Spatrick 17061da546Spatrickdiv.note p.admonition-title { 18061da546Spatrick font-size: 130%; 19061da546Spatrick} 20061da546Spatrick 21061da546Spatricktable.mapping { 22061da546Spatrick width: 100%; 23061da546Spatrick} 24061da546Spatrick 25061da546Spatricktable.mapping td { 26061da546Spatrick width: 50%; 27061da546Spatrick padding: 5px; 28061da546Spatrick} 29061da546Spatrick 30061da546Spatricktable.mapping td.hed { 31061da546Spatrick background: #606060; 32061da546Spatrick color: #fefefe; 33061da546Spatrick text-align: left; 34061da546Spatrick border-bottom: 2px #fefefe solid; 35061da546Spatrick font-weight: bold; 36061da546Spatrick} 37061da546Spatrick 38061da546Spatricktable.mapping td.header { 39061da546Spatrick background: #eeeeee; 40061da546Spatrick} 41061da546Spatrick 42061da546Spatricktable.mapping td.content { 43061da546Spatrick font-family: monospace; 44061da546Spatrick padding-bottom: 15px; 45061da546Spatrick} 46061da546Spatrick 47*be691f3bSpatrick/* Workaround for a Safari bug that would otherwise make table cells less wide 48*be691f3bSpatrickthan the containing text. This just sets it back to the default browser 49*be691f3bSpatrickproperty.*/ 50*be691f3bSpatricktd { 51*be691f3bSpatrick -webkit-hyphens: manual !important; 52*be691f3bSpatrick} 53*be691f3bSpatrick 54061da546Spatrickdiv.sphinxsidebar .caption { 55061da546Spatrick font-family: Helvetica, Verdana, sans-serif; 56061da546Spatrick font-size: 10pt; 57061da546Spatrick font-weight: bold; 58061da546Spatrick color: #fefefe; 59061da546Spatrick background: #606060; 60061da546Spatrick margin-bottom: 0; 61061da546Spatrick text-transform: uppercase; 62061da546Spatrick padding: 7px; 63061da546Spatrick} 64061da546Spatrick 65061da546Spatrickdiv.sphinxsidebar a, 66061da546Spatrickdiv.sphinxsidebar a:hover { 67061da546Spatrick border: none; 68061da546Spatrick} 69061da546Spatrick 70061da546Spatrickdiv.sphinxsidebar li { 71061da546Spatrick padding-left: 7px; 72061da546Spatrick border-bottom: 1px solid #fefefe; 73061da546Spatrick} 74061da546Spatrick 75061da546Spatrickdiv.sphinxsidebar li:hover { 76061da546Spatrick background: #eeeeee; 77061da546Spatrick} 78061da546Spatrick 79061da546Spatrickdiv.sphinxsidebar ul { 80061da546Spatrick background: #e9e9e9; 81061da546Spatrick margin: 0px; 82061da546Spatrick padding: 0px; 83061da546Spatrick} 84061da546Spatrick 85061da546Spatrickdiv.sphinxsidebar ul a { 86061da546Spatrick font-family: Helvetica, Verdana, sans-serif; 87061da546Spatrick font-size: 8pt; 88061da546Spatrick display: block; 89061da546Spatrick padding: 5px 0; 90061da546Spatrick line-height: 14pt; 91061da546Spatrick} 92061da546Spatrick 93061da546Spatrickdiv.sphinxsidebar ul li.toctree-l1 > a { 94061da546Spatrick font-size: 100%; 95061da546Spatrick} 96061da546Spatrick 97061da546Spatrickdiv.sphinxsidebar h3 { 98061da546Spatrick /* Hide Navigation. */ 99061da546Spatrick display: none; 100061da546Spatrick} 101