docs/reference/stylesheets/extra.css

   1 /* Body and page */
   2 .wy-nav-content {
   3     max-width: 90%;
   4 }
   5 .md-grid {
   6     max-width: 90%;
   7 }
   8 .md-sidebar--secondary {
   9     margin-left: 90%;
  10 }
  11 p {
  12     text-align: justify;
  13 }
  14
  15 /* code blocks */
  16 pre.colored {
  17     color: blue;
  18 }
  19 pre>code {
  20     font-family: monospace;
  21     background-color: #D6E8FF;
  22     padding: 2ex 0 2ex 1%;
  23     overflow-x:auto;
  24 }
  25 span.keyword {
  26     font-family: monospace;
  27     text-align: left;
  28     white-space: pre;
  29     color: #d73a49;
  30 }
  31 .md-typeset pre>code {
  32     white-space: pre;
  33 }
  34 /* H4 Heading */
  35 h4 {
  36     background-color: #EEEEFF;
  37     font-size: medium;
  38     font-style: oblique;
  39     font-weight: bold;
  40     padding: 0.3em 0 0.3em 1%;
  41 }
  42
  43 /* Fields table */
  44 table.fields {
  45     width: 90%;
  46     margin: 1.5ex 0 1.5ex 10%;
  47 }
  48 table.fields td.val {
  49     font-weight: bold;
  50     text-align: right;
  51     width: 30%;
  52     vertical-align: baseline;
  53     padding: 1em 1em 0 0;
  54 }
  55 table.fields td.desc {
  56     vertical-align: baseline;
  57     padding: 1ex 0 0 1em;
  58 }
  59 table.fields td.desc p:first-child {
  60     margin: 0;
  61 }
  62
  63 table.fields td.desc p {
  64     margin: 1.5ex 0 0 0;
  65 }
  66
  67 /* Define 'long' tables */
  68 table.long {
  69     display: block;
  70     width: 93%;
  71 }
  72 table.long thead,
  73 table.long tbody,
  74 table.long th,
  75 table.long td,
  76 table.long tr {
  77     display: block;
  78 }
  79 /* Hide table headers (but not display: none;
  80 , for accessibility) */
  81 table.long thead tr {
  82     position: absolute;
  83     top: -9999px;
  84     left: -9999px;
  85 }
  86 table.long tr {
  87     border: 0;
  88 }
  89 table.long {
  90     margin: 1.5ex 3% 1.5ex 3%;
  91 }
  92 table.long td.val {
  93     text-align: left;
  94 }
  95 table.long td {
  96    /* Behave like a "row" */
  97     border: none;
  98     border-bottom: 0;
  99     position: relative;
 100     padding-left: 50%;
 101 }
 102 table.long td:before {
 103    /* Now like a table header */
 104     position: absolute;
 105    /* Top/left values mimic padding */
 106     top: 6px;
 107     left: 6px;
 108     width: 45%;
 109     padding-right: 10px;
 110     white-space: nowrap;
 111 }
 112 /* End 'long' table definition */
 113
 114 /* toc table */
 115 table.toc {
 116     width: 95%;
 117     margin: 1.5ex 0 1.5ex 5%;
 118 }
 119 table.toc td.link {
 120     width: 30%;
 121     text-align: right;
 122     vertical-align: baseline;
 123     padding: 1ex 1em 1ex 0;
 124 }
 125 table.toc td.desc {
 126     vertical-align: baseline;
 127     padding: 1ex 0 1ex 1em;
 128     text-align: left;
 129 }
 130 table.toc td.desc p:first-child {
 131     margin: 0;
 132     text-align: left;
 133 }
 134 table.toc td.desc p {
 135     margin: 1.5ex 0 0 0;
 136     text-align: left;
 137 }
 138 div.timestamp {
 139     font-size: small;
 140 }
 141
 142 /* Change table layout for smaller screens. This query will take effect for any screen smaller than
 143    760px and also iPads specifically. */
 144 @media only screen and (max-width: 760px), (min-device-width: 768px) and (max-device-width: 1024px) {
 145    /* Force table to not be like tables anymore */
 146     table, thead, tbody, th, td, tr {
 147         display: block;
 148    }
 149    /* Hide table headers (but not display: none;
 150     , for accessibility) */
 151     thead tr {
 152         position: absolute;
 153         top: -9999px;
 154         left: -9999px;
 155    }
 156     tr {
 157         border: 0;
 158    }
 159     table.fields {
 160         width: 93%;
 161         margin: 1.5ex 3% 1.5ex 3%;
 162    }
 163     table.fields td.val {
 164         text-align: left;
 165    }
 166     td {
 167        /* Behave like a "row" */
 168         border: none;
 169         border-bottom: 0;
 170         position: relative;
 171         padding-left: 50%;
 172    }
 173     td:before {
 174        /* Now like a table header */
 175         position: absolute;
 176        /* Top/left values mimic padding */
 177         top: 6px;
 178         left: 6px;
 179         width: 45%;
 180         padding-right: 10px;
 181         white-space: nowrap;
 182    }
 183 }