doc/webdeveloper/stylesheets/generated/view_document_outline.css

   1 @import url("../imports/before.css");
   2
   3 *:before
   4 {
   5     background-color: #ffff99 !important;
   6     border-color: #ffcc66 !important;
   7     color: #000000 !important;
   8     margin-right: 1em !important;
   9 }
  10
  11 h1.webdeveloper-document-outline
  12 {
  13     font-size: 2.5em !important;
  14 }
  15 h1.webdeveloper-document-outline:before
  16 {
  17     content: "<h1>" !important;
  18 }
  19
  20 h2.webdeveloper-document-outline
  21 {
  22     font-size: 2em !important;
  23     margin-left: 50px !important;
  24 }
  25 h2.webdeveloper-document-outline:before
  26 {
  27     content: "<h2>" !important;
  28 }
  29
  30 h3.webdeveloper-document-outline
  31 {
  32     font-size: 1.5em !important;
  33     margin-left: 100px !important;
  34 }
  35 h3.webdeveloper-document-outline:before
  36 {
  37     content: "<h3>" !important;
  38 }
  39
  40 h4.webdeveloper-document-outline
  41 {
  42     font-size: 1em !important;
  43     margin-left: 150px !important;
  44 }
  45 h4.webdeveloper-document-outline:before
  46 {
  47     content: "<h4>" !important;
  48 }
  49
  50 h5.webdeveloper-document-outline
  51 {
  52     font-size: 0.9em !important;
  53     margin-left: 200px !important;
  54 }
  55 h5.webdeveloper-document-outline:before
  56 {
  57     content: "<h5>" !important;
  58 }
  59
  60 h6.webdeveloper-document-outline
  61 {
  62     font-size: 0.8em !important;
  63     margin-left: 250px !important;
  64 }
  65 h6.webdeveloper-document-outline:before
  66 {
  67     content: "<h6>" !important;
  68 }
  69
  70 .webdeveloper-document-outline
  71 {
  72     background-color: #ffffff !important;
  73     background-image: none !important;
  74     border-style: none !important;
  75     color: #000000 !important;
  76     margin: 0 !important;
  77     padding: 0 0 0.1em 0 !important;
  78 }
  79 .webdeveloper-document-outline:before
  80 {
  81     display: inline !important;
  82 }
  83
  84 .webdeveloper-document-outline-missing
  85 {
  86     color: #cc0000 !important;
  87 }
  88 .webdeveloper-document-outline-missing:before
  89 {
  90     background-color: #ffcccc !important;
  91     border-color: #ff6666 !important;
  92 }
  93
  94 @media print
  95 {
  96     *:before
  97     {
  98         background-color: #ffffff !important;
  99         border-color: #000000 !important;
 100     }
 101
 102     .webdeveloper-document-outline-missing
 103     {
 104         color: #000000 !important;
 105     }
 106 }