source/libs/luajit/LuaJIT-src/doc/bluequad-print.css

   1 /* Copyright (C) 2004-2015 Mike Pall.
   2  *
   3  * You are welcome to use the general ideas of this design for your own sites.
   4  * But please do not steal the stylesheet, the layout or the color scheme.
   5  */
   6 body {
   7   font-family: serif;
   8   font-size: 11pt;
   9   margin: 0 3em;
  10   padding: 0;
  11   border: none;
  12 }
  13 a:link, a:visited, a:hover, a:active {
  14   text-decoration: none;
  15   background: transparent;
  16   color: #0000ff;
  17 }
  18 h1, h2, h3 {
  19   font-family: sans-serif;
  20   font-weight: bold;
  21   text-align: left;
  22   margin: 0.5em 0;
  23   padding: 0;
  24 }
  25 h1 {
  26   font-size: 200%;
  27 }
  28 h2 {
  29   font-size: 150%;
  30 }
  31 h3 {
  32   font-size: 125%;
  33 }
  34 p {
  35   margin: 0 0 0.5em 0;
  36   padding: 0;
  37 }
  38 ul, ol {
  39   margin: 0.5em 0;
  40   padding: 0 0 0 2em;
  41 }
  42 ul {
  43   list-style: outside square;
  44 }
  45 ol {
  46   list-style: outside decimal;
  47 }
  48 li {
  49   margin: 0;
  50   padding: 0;
  51 }
  52 dl {
  53   margin: 1em 0;
  54   padding: 1em;
  55   border: 1px solid black;
  56 }
  57 dt {
  58   font-weight: bold;
  59   margin: 0;
  60   padding: 0;
  61 }
  62 dt sup {
  63   float: right;
  64   margin-left: 1em;
  65 }
  66 dd {
  67   margin: 0.5em 0 0 2em;
  68   padding: 0;
  69 }
  70 table {
  71   table-layout: fixed;
  72   width: 100%;
  73   margin: 1em 0;
  74   padding: 0;
  75   border: 1px solid black;
  76   border-spacing: 0;
  77   border-collapse: collapse;
  78 }
  79 tr {
  80   margin: 0;
  81   padding: 0;
  82   border: none;
  83 }
  84 td {
  85   text-align: left;
  86   margin: 0;
  87   padding: 0.2em 0.5em;
  88   border-top: 1px solid black;
  89   border-bottom: 1px solid black;
  90 }
  91 tr.separate td {
  92   border-top: double;
  93 }
  94 tt, pre, code, kbd, samp {
  95   font-family: monospace;
  96   font-size: 75%;
  97 }
  98 kbd {
  99   font-weight: bolder;
 100 }
 101 blockquote, pre {
 102   margin: 1em 2em;
 103   padding: 0;
 104 }
 105 img {
 106   border: none;
 107   vertical-align: baseline;
 108   margin: 0;
 109   padding: 0;
 110 }
 111 img.left {
 112   float: left;
 113   margin: 0.5em 1em 0.5em 0;
 114 }
 115 img.right {
 116   float: right;
 117   margin: 0.5em 0 0.5em 1em;
 118 }
 119 .flush {
 120   clear: both;
 121   visibility: hidden;
 122 }
 123 .hide, .noprint, #nav {
 124   display: none !important;
 125 }
 126 .pagebreak {
 127   page-break-before: always;
 128 }
 129 #site {
 130   text-align: right;
 131   font-family: sans-serif;
 132   font-weight: bold;
 133   margin: 0 1em;
 134   border-bottom: 1pt solid black;
 135 }
 136 #site a {
 137   font-size: 1.2em;
 138 }
 139 #site a:link, #site a:visited {
 140   text-decoration: none;
 141   font-weight: bold;
 142   background: transparent;
 143   color: #ffffff;
 144 }
 145 #logo {
 146   color: #ff8000;
 147 }
 148 #head {
 149   clear: both;
 150   margin: 0 1em;
 151 }
 152 #main {
 153   line-height: 1.3;
 154   text-align: justify;
 155   margin: 1em;
 156 }
 157 #foot {
 158   clear: both;
 159   font-size: 80%;
 160   text-align: center;
 161   margin: 0 1.25em;
 162   padding: 0.5em 0 0 0;
 163   border-top: 1pt solid black;
 164   page-break-before: avoid;
 165   page-break-after: avoid;
 166 }