third-party/codemirror-3.15/doc/docs.css

   1 body {
   2   font-family: Droid Sans, Arial, sans-serif;
   3   line-height: 1.5;
   4   max-width: 64.3em;
   5   margin: 3em auto;
   6   padding: 0 1em;
   7 }
   8
   9 h1 {
  10   letter-spacing: -3px;
  11   font-size: 3.23em;
  12   font-weight: bold;
  13   margin: 0;
  14 }
  15
  16 h2 {
  17   font-size: 1.23em;
  18   font-weight: bold;
  19   margin: .5em 0;
  20   letter-spacing: -1px;
  21 }
  22
  23 h3 {
  24   font-size: 1.1em;
  25   font-weight: bold;
  26   margin: .4em 0;
  27 }
  28
  29 pre {
  30   background-color: #eee;
  31   -moz-border-radius: 6px;
  32   -webkit-border-radius: 6px;
  33   border-radius: 6px;
  34   padding: 1em;
  35 }
  36
  37 pre.code {
  38   margin: 0 1em;
  39 }
  40
  41 .grey {
  42   background-color: #eee;
  43   border-radius: 6px;
  44   margin-bottom: 1.65em;
  45   margin-top: 0.825em;
  46   padding: 0.825em 1.65em;
  47   position: relative;
  48 }
  49
  50 img.logo {
  51   position: absolute;
  52   right: -1em;
  53   bottom: 4px;
  54   max-width: 23.6875em; /* Scale image down with text to prevent clipping */
  55 }
  56
  57 .grey > pre {
  58   background:none;
  59   border-radius:0;
  60   padding:0;
  61   margin:0;
  62   font-size:2.2em;
  63   line-height:1.2em;
  64 }
  65
  66 a:link, a:visited, .quasilink {
  67   color: #df0019;
  68   cursor: pointer;
  69   text-decoration: none;
  70 }
  71
  72 a:hover, .quasilink:hover {
  73   color: #800004;
  74 }
  75
  76 h1 a:link, h1 a:visited, h1 a:hover {
  77   color: black;
  78 }
  79
  80 ul {
  81   margin: 0;
  82   padding-left: 1.2em;
  83 }
  84
  85 a.download {
  86   color: white;
  87   background-color: #df0019;
  88   width: 100%;
  89   display: block;
  90   text-align: center;
  91   font-size: 1.23em;
  92   font-weight: bold;
  93   text-decoration: none;
  94   -moz-border-radius: 6px;
  95   -webkit-border-radius: 6px;
  96   border-radius: 6px;
  97   padding: .5em 0;
  98   margin-bottom: 1em;
  99 }
 100
 101 a.download:hover {
 102   background-color: #bb0010;
 103 }
 104
 105 .rel {
 106   margin-bottom: 0;
 107 }
 108
 109 .rel-note {
 110   color: #777;
 111   font-size: .9em;
 112   margin-top: .1em;
 113 }
 114
 115 .logo-braces {
 116   color: #df0019;
 117   position: relative;
 118   top: -4px;
 119 }
 120
 121 .blk {
 122   float: left;
 123 }
 124
 125 .left {
 126   margin-right: 20.68em;
 127   max-width: 37em;
 128   padding-right: 6.53em;
 129   padding-bottom: 1em;
 130 }
 131
 132 .left1 {
 133   width: 15.24em;
 134   padding-right: 6.45em;
 135 }
 136
 137 .left2 {
 138   max-width: 15.24em;
 139 }
 140
 141 .right {
 142   width: 20.68em;
 143   margin-left: -20.68em;
 144 }
 145
 146 .leftbig {
 147   width: 42.44em;
 148   padding-right: 6.53em;
 149 }
 150
 151 .rightsmall {
 152   width: 15.24em;
 153 }
 154
 155 .clear:after {
 156   visibility: hidden;
 157   display: block;
 158   font-size: 0;
 159   content: " ";
 160   clear: both;
 161   height: 0;
 162 }
 163 .clear { display: inline-block; }
 164 /* start commented backslash hack \*/
 165 * html .clear { height: 1%; }
 166 .clear { display: block; }
 167 /* close commented backslash hack */