.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201028153306-37f0764111ff/cmd/present/static/article.css

   1 body {
   2   margin: 0;
   3   font-family: Helvetica, Arial, sans-serif;
   4   font-size: 16px;
   5 }
   6 pre,
   7 code {
   8   font-family: Menlo, monospace;
   9   font-size: 14px;
  10 }
  11 pre {
  12   line-height: 18px;
  13   margin: 0;
  14   padding: 0;
  15 }
  16 a {
  17   color: #375eab;
  18   text-decoration: none;
  19 }
  20 a:hover {
  21   text-decoration: underline;
  22 }
  23 p,
  24 ul,
  25 ol {
  26   margin: 20px;
  27 }
  28
  29 h1,
  30 h2,
  31 h3,
  32 h4 {
  33   margin: 20px 0;
  34   padding: 0;
  35   color: #375eab;
  36   font-weight: bold;
  37 }
  38 h1 {
  39   font-size: 18px;
  40   padding: 2px 5px;
  41 }
  42 h2 {
  43   font-size: 16px;
  44 }
  45 h3 {
  46   font-size: 16px;
  47 }
  48 h3,
  49 h4 {
  50   margin: 20px 5px;
  51 }
  52 h4 {
  53   font-size: 16px;
  54 }
  55
  56 div#heading {
  57   margin: 0 0 10px 0;
  58   padding: 21px 0;
  59   font-size: 20px;
  60   font-weight: bold;
  61 }
  62
  63 div#heading .author {
  64   padding-top: 10px;
  65   font-size: 14px;
  66   font-weight: normal;
  67 }
  68
  69 div#topbar {
  70 }
  71
  72 body {
  73   text-align: center;
  74 }
  75 div#page {
  76   width: 100%;
  77 }
  78 div#page > .container,
  79 div#topbar > .container {
  80   text-align: left;
  81   margin-left: auto;
  82   margin-right: auto;
  83   padding: 0 20px;
  84   width: 900px;
  85 }
  86 div#page.wide > .container,
  87 div#topbar.wide > .container {
  88   width: auto;
  89 }
  90
  91 div#footer {
  92   text-align: center;
  93   color: #666;
  94   font-size: 14px;
  95   margin: 40px 0;
  96 }
  97
  98 .author p {
  99   margin: 0;
 100   padding: 0 20px;
 101 }
 102
 103 div.code,
 104 div.output {
 105   margin: 20px 20px 20px 40px;
 106   -webkit-border-radius: 5px;
 107   -moz-border-radius: 5px;
 108   border-radius: 5px;
 109 }
 110
 111 div.output {
 112   padding: 10px;
 113 }
 114
 115 div.code {
 116   background: white;
 117 }
 118 div.output {
 119   background: black;
 120 }
 121 div.output .stdout {
 122   color: #e6e6e6;
 123 }
 124 div.output .stderr {
 125   color: rgb(244, 74, 63);
 126 }
 127 div.output .system {
 128   color: rgb(255, 209, 77);
 129 }
 130
 131 .buttons {
 132   margin-left: 20px;
 133 }
 134 div.output .buttons {
 135   margin-left: 0;
 136   margin-bottom: 10px;
 137 }
 138
 139 #toc {
 140   float: right;
 141   margin: 0px 10px;
 142   padding: 10px;
 143   border: 1px solid #e5ecf9;
 144   background-color: #eee;
 145   box-shadow: 3px 3px 2px #888888;
 146
 147   max-width: 33%;
 148
 149   -webkit-border-radius: 5px;
 150   -moz-border-radius: 5px;
 151   border-radius: 5px;
 152 }
 153
 154 #tochead {
 155   font-weight: bold;
 156   font-variant: small-caps;
 157   font-size: 100%;
 158   text-align: center;
 159   padding-bottom: 5px;
 160 }
 161
 162 #toc ul,
 163 #toc a {
 164   list-style-type: none;
 165   padding-left: 0px;
 166   color: black;
 167   margin: 0px;
 168 }
 169
 170 ul.toc-inner a {
 171   padding-left: 10px !important;
 172 }
 173
 174 @media print {
 175   .no-print,
 176   .no-print * {
 177     display: none !important;
 178   }
 179 }