ceph/src/jaegertracing/opentelemetry-cpp/third_party/prometheus-cpp/3rdparty/civetweb/src/third_party/lua-5.3.6/doc/lua.css

   1 html {
   2         background-color: #F8F8F8 ;
   3 }
   4
   5 body {
   6         background-color: #FFFFFF ;
   7         color: #000000 ;
   8         font-family: Helvetica, Arial, sans-serif ;
   9         text-align: justify ;
  10         line-height: 1.25 ;
  11         margin: 16px auto ;
  12         padding: 32px ;
  13         border: solid #ccc 1px ;
  14         border-radius: 20px ;
  15         max-width: 70em ;
  16         width: 90% ;
  17 }
  18
  19 h1, h2, h3, h4 {
  20         color: #000080 ;
  21         font-family: Verdana, Geneva, sans-serif ;
  22         font-weight: normal ;
  23         font-style: normal ;
  24         text-align: left ;
  25 }
  26
  27 h1 {
  28         font-size: 28pt ;
  29 }
  30
  31 h1 img {
  32         vertical-align: text-bottom ;
  33 }
  34
  35 h2:before {
  36         content: "\2756" ;
  37         padding-right: 0.5em ;
  38 }
  39
  40 a {
  41         text-decoration: none ;
  42 }
  43
  44 a:link {
  45         color: #000080 ;
  46 }
  47
  48 a:link:hover, a:visited:hover {
  49         background-color: #D0D0FF ;
  50         color: #000080 ;
  51         border-radius: 4px ;
  52 }
  53
  54 a:link:active, a:visited:active {
  55         color: #FF0000 ;
  56 }
  57
  58 div.menubar {
  59         padding-bottom: 0.5em ;
  60 }
  61
  62 p.menubar {
  63         margin-left: 2.5em ;
  64 }
  65
  66 .menubar a:hover  {
  67         margin: -3px -3px -3px -3px ;
  68         padding: 3px  3px  3px  3px ;
  69         border-radius: 4px ;
  70 }
  71
  72 :target {
  73         background-color: #F0F0F0 ;
  74         margin: -8px ;
  75         padding: 8px ;
  76         border-radius: 8px ;
  77         outline: none ;
  78 }
  79
  80 hr {
  81         display: none ;
  82 }
  83
  84 table hr {
  85         background-color: #a0a0a0 ;
  86         color: #a0a0a0 ;
  87         border: 0 ;
  88         height: 1px ;
  89         display: block ;
  90 }
  91
  92 .footer {
  93         color: gray ;
  94         font-size: x-small ;
  95         text-transform: lowercase ;
  96 }
  97
  98 input[type=text] {
  99         border: solid #a0a0a0 2px ;
 100         border-radius: 2em ;
 101         background-image: url('images/search.png') ;
 102         background-repeat: no-repeat ;
 103         background-position: 4px center ;
 104         padding-left: 20px ;
 105         height: 2em ;
 106 }
 107
 108 pre.session {
 109         background-color: #F8F8F8 ;
 110         padding: 1em ;
 111         border-radius: 8px ;
 112 }
 113
 114 table {
 115         border: none ;
 116         border-spacing: 0 ;
 117         border-collapse: collapse ;
 118 }
 119
 120 td {
 121         padding: 0 ;
 122         margin: 0 ;
 123 }
 124
 125 td.gutter {
 126         width: 4% ;
 127 }
 128
 129 table.columns td {
 130         vertical-align: top ;
 131         padding-bottom: 1em ;
 132         text-align: justify ;
 133         line-height: 1.25 ;
 134 }
 135
 136 table.book td {
 137         vertical-align: top ;
 138 }
 139
 140 table.book td.cover {
 141         padding-right: 1em ;
 142 }
 143
 144 table.book img {
 145         border: solid #000080 1px ;
 146 }
 147
 148 table.book span {
 149         font-size: small ;
 150         text-align: left ;
 151         display: block ;
 152         margin-top: 0.25em ;
 153 }
 154
 155 p.logos a:link:hover, p.logos a:visited:hover {
 156         background-color: inherit ;
 157 }
 158
 159 img {
 160         background-color: white ;
 161 }