worg.css

   1 body {
   2     margin: 10px 8% 10px 8%;
   3     font-family: Verdana;
   4     text-align: justify;
   5     font-size: 10pt;
   6     padding: 10px;
   7     line-height: 1.2em;
   8 }
   9
  10 #table-of-contents {
  11     color: black;
  12     background: #FFF;
  13     font-size: 80%;
  14     padding: .5em;
  15     margin: 1em -2em 1em 1em;
  16     float: right;
  17     display: block;
  18     border: 1px solid #CCC;
  19     max-width: 50%;
  20     overflow: auto;
  21 }
  22
  23 #table-of-contents a  {
  24     color: #003333;
  25 }
  26
  27 #table-of-contents a:hover {
  28     color: #003333;
  29     text-decoration: underline;
  30 }
  31
  32 #table-of-contents li  {
  33     margin: .2em;
  34 }
  35
  36 #table-of-contents h2 {
  37     margin-top: .2em;
  38     border: none;
  39 }
  40
  41 h1 {
  42     font-size: 12pt;
  43 }
  44
  45 .title {
  46     color: #990000;
  47     padding-bottom: 7px;
  48     margin-bottom: 20px;
  49     border-bottom: 1px solid #222;
  50 }
  51
  52 h2 {
  53     font-size: 12pt;
  54     padding-bottom: 4px;
  55     margin-bottom: 5px;
  56     border-bottom: 3px solid #DDD;
  57 }
  58
  59 h3 {
  60     font-size: 11pt;
  61     color: #333333;
  62 }
  63
  64 h4 {
  65     font-size: 9pt;
  66 }
  67
  68 a {
  69     text-decoration: none;
  70     color: #006666
  71 }
  72
  73 a:visited {
  74     text-decoration: none;
  75     color: #336666
  76 }
  77
  78 a:hover {
  79     text-decoration: underline;
  80     color: #003333
  81 }
  82
  83 .todo {
  84     color: #990000;
  85 }
  86
  87 .done {
  88     color: #006666;
  89 }
  90
  91 .timestamp-kwd {
  92     color: #444;
  93 }
  94
  95 .tag {
  96     color: #DDD;
  97     font-size: 70%;
  98     font-weight: 500;
  99 }
 100
 101 li {
 102     margin: .4em;
 103 }
 104
 105 table {
 106     border: none;
 107 }
 108
 109 td {
 110     border: none;
 111     padding: .1em .7em .1em .3em;
 112 }
 113
 114 th {
 115     border: none;
 116 }
 117
 118 code {
 119     font-size: 100%;
 120 }
 121
 122 img {
 123     border: none;
 124 }
 125
 126 .share img {
 127     opacity: .4;
 128     -moz-opacity: .4;
 129     filter: alpha(opacity=40);
 130 }
 131
 132 .share img:hover {
 133     opacity: 1;
 134     -moz-opacity: 1;
 135     filter: alpha(opacity=100);
 136 }
 137
 138 /* pre {border: 1px solid #555; */
 139 /*      background: #EEE; */
 140 /*      font-size: 9pt; */
 141 /*      padding: 1em; */
 142 /*     } */
 143
 144 /* pre { */
 145 /*     color: #e5e5e5; */
 146 /*     background-color: #000000; */
 147 /*     padding: 1.4em; */
 148 /*     border: 2px solid grey; */
 149 /* } */
 150
 151 pre {
 152     color: black;
 153     background-color: #eeeeee;
 154     padding: 1.2em;
 155     border: 1px solid #dddddd;
 156 }
 157
 158 .builtin {
 159     /* font-lock-builtin-face */
 160     color: #f4a460;
 161 }
 162 .comment {
 163     /* font-lock-comment-face */
 164     color: #737373;
 165 }
 166 .comment-delimiter {
 167     /* font-lock-comment-delimiter-face */
 168     color: #666666;
 169 }
 170 .constant {
 171     /* font-lock-constant-face */
 172     color: #db7093;
 173 }
 174 .doc {
 175     /* font-lock-doc-face */
 176     color: #b3b3b3;
 177 }
 178 .function-name {
 179     /* font-lock-function-name-face */
 180     color: #5f9ea0;
 181 }
 182 .headline {
 183     /* headline-face */
 184     color: #ffffff;
 185     background-color: #000000;
 186     font-weight: bold;
 187 }
 188 .keyword {
 189     /* font-lock-keyword-face */
 190     color: #4682b4;
 191 }
 192 .negation-char {
 193 }
 194 .regexp-grouping-backslash {
 195 }
 196 .regexp-grouping-construct {
 197 }
 198 .string {
 199     /* font-lock-string-face */
 200     color: #fffacd;
 201 }
 202 .todo-comment {
 203     /* todo-comment-face */
 204     color: #ffffff;
 205     background-color: #000000;
 206     font-weight: bold;
 207 }
 208 .variable-name {
 209     /* font-lock-variable-name-face */
 210     color: #ff6a6a;
 211 }
 212 .warning {
 213     /* font-lock-warning-face */
 214     color: #ffffff;
 215     background-color: #cd5c5c;
 216     font-weight: bold;
 217 }
 218 pre.a {
 219     color: inherit;
 220     background-color: inherit;
 221     font: inherit;
 222     text-decoration: inherit;
 223 }
 224 pre.a:hover {
 225     text-decoration: underline;
 226 }
 227
 228 /* Styles for org-info.js */
 229
 230 .org-info-js_info-navigation
 231 {
 232   border-style:none;
 233 }
 234
 235 #org-info-js_console-label
 236 {
 237   font-size:10px;
 238   font-weight:bold;
 239   white-space:nowrap;
 240 }
 241
 242 .org-info-js_search-highlight
 243 {
 244   background-color:#ffff00;
 245   color:#000000;
 246   font-weight:bold;
 247 }
 248
 249 #org-info-js-window
 250 {
 251   border-bottom:1px solid black;
 252   padding-bottom:10px;
 253   margin-bottom:10px;
 254 }