libc/docs/_static/custom.css

   1 pre {
   2   padding: 7px;
   3 }
   4
   5 div.document {
   6   width: 90%;
   7 }
   8
   9 div.note {
  10   padding: 20px 20px 10px 20px;
  11 }
  12
  13 div.note p.admonition-title {
  14   font-size: 130%;
  15 }
  16
  17 table.mapping {
  18   width: 100%;
  19 }
  20
  21 table.mapping td {
  22   width: 50%;
  23   padding: 5px;
  24 }
  25
  26 table.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
  34 table.mapping td.header {
  35   background: #eeeeee;
  36 }
  37
  38 table.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 wide
  44 than the containing text. This just sets it back to the default browser
  45 property.*/
  46 td {
  47   -webkit-hyphens: manual !important;
  48 }
  49
  50 div.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
  61 div.sphinxsidebar a,
  62 div.sphinxsidebar a:hover {
  63   border: none;
  64 }
  65
  66 div.sphinxsidebar li {
  67   padding-left: 7px;
  68   border-bottom: 1px solid #fefefe;
  69 }
  70
  71 div.sphinxsidebar li:hover {
  72   background: #ccddee;
  73 }
  74
  75 div.sphinxsidebar ul {
  76   background: #bbccdd;
  77   margin: 0px;
  78   padding: 0px;
  79 }
  80
  81 div.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
  89 div.sphinxsidebar ul li.toctree-l1 > a {
  90   font-size: 100%;
  91 }
  92
  93 div.sphinxsidebar h3 {
  94   /* Hide Navigation. */
  95   display: none;
  96 }
  97
  98 @media screen and (min-width: 875px) {
  99 div.body {
 100   max-width: 90%;
 101 }
 102 }
 103
 104 @media screen and (max-width: 875px) {
 105 div.sphinxsidebar {
 106   margin-left: 0px;
 107   margin-right: 0px;
 108 }
 109
 110 div.body {
 111   min-width: auto;
 112   max-width: auto;
 113 }
 114 }