docs/reference/stylesheets/extra.css

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