node/node_modules/uglify-js/docstyle.css

   1 html { font-family: "Lucida Grande","Trebuchet MS",sans-serif; font-size: 12pt; }
   2 body { max-width: 60em; }
   3 .title  { text-align: center; }
   4 .todo   { color: red; }
   5 .done   { color: green; }
   6 .tag    { background-color:lightblue; font-weight:normal }
   7 .target { }
   8 .timestamp { color: grey }
   9 .timestamp-kwd { color: CadetBlue }
  10 p.verse { margin-left: 3% }
  11 pre {
  12   border: 1pt solid #AEBDCC;
  13   background-color: #F3F5F7;
  14   padding: 5pt;
  15   font-family: monospace;
  16   font-size: 90%;
  17   overflow:auto;
  18 }
  19 pre.src {
  20   background-color: #eee; color: #112; border: 1px solid #000;
  21 }
  22 table { border-collapse: collapse; }
  23 td, th { vertical-align: top; }
  24 dt { font-weight: bold; }
  25 div.figure { padding: 0.5em; }
  26 div.figure p { text-align: center; }
  27 .linenr { font-size:smaller }
  28 .code-highlighted {background-color:#ffff00;}
  29 .org-info-js_info-navigation { border-style:none; }
  30 #org-info-js_console-label { font-size:10px; font-weight:bold;
  31   white-space:nowrap; }
  32 .org-info-js_search-highlight {background-color:#ffff00; color:#000000;
  33   font-weight:bold; }
  34
  35 sup {
  36   vertical-align: baseline;
  37   position: relative;
  38   top: -0.5em;
  39   font-size: 80%;
  40 }
  41
  42 sup a:link, sup a:visited {
  43   text-decoration: none;
  44   color: #c00;
  45 }
  46
  47 sup a:before { content: "["; color: #999; }
  48 sup a:after { content: "]"; color: #999; }
  49
  50 h1.title { border-bottom: 4px solid #000; padding-bottom: 5px; margin-bottom: 2em; }
  51
  52 #postamble {
  53   color: #777;
  54   font-size: 90%;
  55   padding-top: 1em; padding-bottom: 1em; border-top: 1px solid #999;
  56   margin-top: 2em;
  57   padding-left: 2em;
  58   padding-right: 2em;
  59   text-align: right;
  60 }
  61
  62 #postamble p { margin: 0; }
  63
  64 #footnotes { border-top: 1px solid #000; }
  65
  66 h1 { font-size: 200% }
  67 h2 { font-size: 175% }
  68 h3 { font-size: 150% }
  69 h4 { font-size: 125% }
  70
  71 h1, h2, h3, h4 { font-family: "Bookman",Georgia,"Times New Roman",serif; font-weight: normal; }
  72
  73 @media print {
  74   html { font-size: 11pt; }
  75 }