.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201105173854-bc9fc8d8c4bc/cmd/present/static/dir.css

   1 /* copied from $GOROOT/doc/style.css */
   2
   3 body {
   4   margin: 0;
   5   font-family: Helvetica, Arial, sans-serif;
   6   font-size: 16px;
   7 }
   8 pre,
   9 code {
  10   font-family: Menlo, monospace;
  11   font-size: 14px;
  12 }
  13 pre {
  14   line-height: 18px;
  15 }
  16 pre .comment {
  17   color: #375eab;
  18 }
  19 pre .highlight,
  20 pre .highlight-comment,
  21 pre .selection-highlight,
  22 pre .selection-highlight-comment {
  23   background: #ffff00;
  24 }
  25 pre .selection,
  26 pre .selection-comment {
  27   background: #ff9632;
  28 }
  29 pre .ln {
  30   color: #999;
  31 }
  32 body {
  33   color: #222;
  34 }
  35 a,
  36 .exampleHeading .text {
  37   color: #375eab;
  38   text-decoration: none;
  39 }
  40 a:hover,
  41 .exampleHeading .text:hover {
  42   text-decoration: underline;
  43 }
  44 p,
  45 pre,
  46 ul,
  47 ol {
  48   margin: 20px;
  49 }
  50 pre {
  51   background: #e9e9e9;
  52   padding: 10px;
  53
  54   -webkit-border-radius: 5px;
  55   -moz-border-radius: 5px;
  56   border-radius: 5px;
  57 }
  58
  59 h1,
  60 h2,
  61 h3,
  62 h4,
  63 .rootHeading {
  64   margin: 20px 0;
  65   padding: 0;
  66   color: #375eab;
  67   font-weight: bold;
  68 }
  69 h1 {
  70   font-size: 24px;
  71 }
  72 h2 {
  73   font-size: 20px;
  74   background: #e0ebf5;
  75   padding: 2px 5px;
  76 }
  77 h3 {
  78   font-size: 20px;
  79 }
  80 h3,
  81 h4 {
  82   margin: 20px 5px;
  83 }
  84 h4 {
  85   font-size: 16px;
  86 }
  87
  88 dl {
  89   margin: 20px;
  90 }
  91 dd {
  92   margin: 2px 20px;
  93 }
  94 dl,
  95 dd {
  96   font-size: 14px;
  97 }
  98 div#nav table td {
  99   vertical-align: top;
 100 }
 101
 102 div#heading {
 103   float: left;
 104   margin: 0 0 10px 0;
 105   padding: 21px 0;
 106   font-size: 20px;
 107   font-weight: normal;
 108 }
 109 div#heading a {
 110   color: #222;
 111   text-decoration: none;
 112 }
 113
 114 div#topbar {
 115   background: #e0ebf5;
 116   height: 64px;
 117 }
 118
 119 body {
 120   text-align: center;
 121 }
 122 div#page,
 123 div#topbar > .container {
 124   clear: both;
 125   text-align: left;
 126   margin-left: auto;
 127   margin-right: auto;
 128   padding: 0 20px;
 129   width: 900px;
 130 }
 131 div#page.wide,
 132 div#topbar > .wide {
 133   width: auto;
 134 }
 135 div#plusone {
 136   float: right;
 137 }
 138
 139 div#footer {
 140   color: #666;
 141   font-size: 14px;
 142   margin: 40px 0;
 143 }
 144
 145 div#menu > a,
 146 div#menu > input {
 147   padding: 10px;
 148
 149   text-decoration: none;
 150   font-size: 16px;
 151
 152   -webkit-border-radius: 5px;
 153   -moz-border-radius: 5px;
 154   border-radius: 5px;
 155 }
 156 div#menu > a,
 157 div#menu > input {
 158   border: 1px solid #375eab;
 159 }
 160 div#menu > a {
 161   color: white;
 162   background: #375eab;
 163 }
 164
 165 div#menu {
 166   float: right;
 167   min-width: 590px;
 168   padding: 10px 0;
 169   text-align: right;
 170 }
 171 div#menu > a {
 172   margin-right: 5px;
 173   margin-bottom: 10px;
 174
 175   padding: 10px;
 176 }
 177 div#menu > input {
 178   position: relative;
 179   top: 1px;
 180   width: 60px;
 181   background: white;
 182   color: #222;
 183 }
 184 div#menu > input.inactive {
 185   color: #999;
 186 }