bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/markdown/html/SclDoc.css

   1 /* GitHub stylesheet for MarkdownPad (http://markdownpad.com) */
   2 /* Author: Nicolas Hery - http://nicolashery.com */
   3 /* Version: b13fe65ca28d2e568c6ed5d7f06581183df8f2ff */
   4 /* Source: https://github.com/nicolahery/markdownpad-github */
   5
   6 /* RESET
   7 =============================================================================*/
   8
   9 html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video {
  10   margin: 0;
  11   padding: 0;
  12   border: 0;
  13 }
  14
  15 /* BODY
  16 =============================================================================*/
  17
  18 body {
  19   font-family: Helvetica, arial, freesans, clean, sans-serif;
  20   font-size: 14px;
  21   line-height: 1.6;
  22   color: #333;
  23   background-color: #fff;
  24   padding: 20px;
  25   margin: 0 auto;
  26 }
  27
  28 body>*:first-child {
  29   margin-top: 0 !important;
  30 }
  31
  32 body>*:last-child {
  33   margin-bottom: 0 !important;
  34 }
  35
  36 /* BLOCKS
  37 =============================================================================*/
  38
  39 p, blockquote, ul, ol, dl, table, pre {
  40   margin: 15px 0;
  41 }
  42
  43 /* HEADERS
  44 =============================================================================*/
  45
  46 h1, h2, h3, h4, h5, h6 {
  47   margin: 20px 0 10px;
  48   padding: 0;
  49   font-weight: bold;
  50   -webkit-font-smoothing: antialiased;
  51 }
  52
  53 h1 tt, h1 code, h2 tt, h2 code, h3 tt, h3 code, h4 tt, h4 code, h5 tt, h5 code, h6 tt, h6 code {
  54   font-size: inherit;
  55 }
  56
  57 h1 {
  58   font-size: 28px;
  59   color: #000;
  60 }
  61
  62 h2 {
  63   font-size: 24px;
  64   border-bottom: 1px solid #ccc;
  65   color: #000;
  66 }
  67
  68 h3 {
  69   font-size: 18px;
  70 }
  71
  72 h4 {
  73   font-size: 16px;
  74 }
  75
  76 h5 {
  77   font-size: 14px;
  78 }
  79
  80 h6 {
  81   color: #777;
  82   font-size: 14px;
  83 }
  84
  85 body>h2:first-child, body>h1:first-child, body>h1:first-child+h2, body>h3:first-child, body>h4:first-child, body>h5:first-child, body>h6:first-child {
  86   margin-top: 0;
  87   padding-top: 0;
  88 }
  89
  90 a:first-child h1, a:first-child h2, a:first-child h3, a:first-child h4, a:first-child h5, a:first-child h6 {
  91   margin-top: 0;
  92   padding-top: 0;
  93 }
  94
  95 h1+p, h2+p, h3+p, h4+p, h5+p, h6+p {
  96   margin-top: 10px;
  97 }
  98
  99 /* LINKS
 100 =============================================================================*/
 101
 102 a {
 103   color: #4183C4;
 104   text-decoration: none;
 105 }
 106
 107 a:hover {
 108   text-decoration: underline;
 109 }
 110
 111 /* LISTS
 112 =============================================================================*/
 113
 114 ul, ol {
 115   padding-left: 30px;
 116 }
 117
 118 ul li > :first-child,
 119 ol li > :first-child,
 120 ul li ul:first-of-type,
 121 ol li ol:first-of-type,
 122 ul li ol:first-of-type,
 123 ol li ul:first-of-type {
 124   margin-top: 0px;
 125 }
 126
 127 ul ul, ul ol, ol ol, ol ul {
 128   margin-bottom: 0;
 129 }
 130
 131 dl {
 132   padding: 0;
 133 }
 134
 135 dl dt {
 136   font-size: 14px;
 137   font-weight: bold;
 138   font-style: italic;
 139   padding: 0;
 140   margin: 15px 0 5px;
 141 }
 142
 143 dl dt:first-child {
 144   padding: 0;
 145 }
 146
 147 dl dt>:first-child {
 148   margin-top: 0px;
 149 }
 150
 151 dl dt>:last-child {
 152   margin-bottom: 0px;
 153 }
 154
 155 dl dd {
 156   margin: 0 0 15px;
 157   padding: 0 15px;
 158 }
 159
 160 dl dd>:first-child {
 161   margin-top: 0px;
 162 }
 163
 164 dl dd>:last-child {
 165   margin-bottom: 0px;
 166 }
 167
 168 /* CODE
 169 =============================================================================*/
 170
 171 pre, code, tt {
 172   font-size: 12px;
 173   font-family: Consolas, "Liberation Mono", Courier, monospace;
 174 }
 175
 176 code, tt {
 177   margin: 0 0px;
 178   padding: 0px 0px;
 179   white-space: nowrap;
 180   border: 1px solid #eaeaea;
 181   background-color: #f8f8f8;
 182   border-radius: 3px;
 183 }
 184
 185 pre>code {
 186   margin: 0;
 187   padding: 0;
 188   white-space: pre;
 189   border: none;
 190   background: transparent;
 191 }
 192
 193 pre {
 194   background-color: #f8f8f8;
 195   border: 1px solid #ccc;
 196   font-size: 13px;
 197   line-height: 19px;
 198   overflow: auto;
 199   padding: 6px 10px;
 200   border-radius: 3px;
 201 }
 202
 203 pre code, pre tt {
 204   background-color: transparent;
 205   border: none;
 206 }
 207
 208 kbd {
 209     -moz-border-bottom-colors: none;
 210     -moz-border-left-colors: none;
 211     -moz-border-right-colors: none;
 212     -moz-border-top-colors: none;
 213     background-color: #DDDDDD;
 214     background-image: linear-gradient(#F1F1F1, #DDDDDD);
 215     background-repeat: repeat-x;
 216     border-color: #DDDDDD #CCCCCC #CCCCCC #DDDDDD;
 217     border-image: none;
 218     border-radius: 2px 2px 2px 2px;
 219     border-style: solid;
 220     border-width: 1px;
 221     font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
 222     line-height: 10px;
 223     padding: 1px 4px;
 224 }
 225
 226 /* QUOTES
 227 =============================================================================*/
 228
 229 blockquote {
 230   border-left: 4px solid #DDD;
 231   padding: 0 15px;
 232   color: #777;
 233 }
 234
 235 blockquote>:first-child {
 236   margin-top: 0px;
 237 }
 238
 239 blockquote>:last-child {
 240   margin-bottom: 0px;
 241 }
 242
 243 /* HORIZONTAL RULES
 244 =============================================================================*/
 245
 246 hr {
 247   clear: both;
 248   margin: 15px 0;
 249   height: 0px;
 250   overflow: hidden;
 251   border: none;
 252   background: transparent;
 253   border-bottom: 4px solid #ddd;
 254   padding: 0;
 255 }
 256
 257 /* TABLES
 258 =============================================================================*/
 259
 260 table th {
 261   font-weight: bold;
 262 }
 263
 264 table th, table td {
 265   border: 1px solid #ccc;
 266   padding: 6px 13px;
 267 }
 268
 269 table tr {
 270   border-top: 1px solid #ccc;
 271   background-color: #fff;
 272 }
 273
 274 table tr:nth-child(2n) {
 275   background-color: #f8f8f8;
 276 }
 277
 278 .pagestructure {
 279   margin-left: auto;
 280   margin-right: auto;
 281 }
 282
 283 .navi {
 284   border: 0px;
 285   vertical-align: top;
 286 }
 287
 288 .content {
 289   border: 0px;
 290   max-width: 960px;
 291   vertical-align: top;
 292 }
 293
 294
 295 /* IMAGES
 296 =============================================================================*/
 297
 298 img {
 299   max-width: 100%
 300 }
 301
 302 .highlight  { background: #ffffff; }
 303 .highlight .c { color: #999988; font-style: italic } /* Comment */
 304 .highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
 305 .highlight .k { font-weight: bold } /* Keyword */
 306 .highlight .o { font-weight: bold } /* Operator */
 307 .highlight .cm { color: #999988; font-style: italic } /* Comment.Multiline */
 308 .highlight .cp { color: #999999; font-weight: bold } /* Comment.Preproc */
 309 .highlight .c1 { color: #999988; font-style: italic } /* Comment.Single */
 310 .highlight .cs { color: #999999; font-weight: bold; font-style: italic } /* Comment.Special */
 311 .highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
 312 .highlight .gd .x { color: #000000; background-color: #ffaaaa } /* Generic.Deleted.Specific */
 313 .highlight .ge { font-style: italic } /* Generic.Emph */
 314 .highlight .gr { color: #aa0000 } /* Generic.Error */
 315 .highlight .gh { color: #999999 } /* Generic.Heading */
 316 .highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
 317 .highlight .gi .x { color: #000000; background-color: #aaffaa } /* Generic.Inserted.Specific */
 318 .highlight .go { color: #888888 } /* Generic.Output */
 319 .highlight .gp { color: #555555 } /* Generic.Prompt */
 320 .highlight .gs { font-weight: bold } /* Generic.Strong */
 321 .highlight .gu { color: #aaaaaa } /* Generic.Subheading */
 322 .highlight .gt { color: #aa0000 } /* Generic.Traceback */
 323 .highlight .kc { font-weight: bold } /* Keyword.Constant */
 324 .highlight .kd { font-weight: bold } /* Keyword.Declaration */
 325 .highlight .kp { font-weight: bold } /* Keyword.Pseudo */
 326 .highlight .kr { font-weight: bold } /* Keyword.Reserved */
 327 .highlight .kt { color: #445588; font-weight: bold } /* Keyword.Type */
 328 .highlight .m { color: #009999 } /* Literal.Number */
 329 .highlight .s { color: #d14 } /* Literal.String */
 330 .highlight .na { color: #008080 } /* Name.Attribute */
 331 .highlight .nb { color: #0086B3 } /* Name.Builtin */
 332 .highlight .nc { color: #445588; font-weight: bold } /* Name.Class */
 333 .highlight .no { color: #008080 } /* Name.Constant */
 334 .highlight .ni { color: #800080 } /* Name.Entity */
 335 .highlight .ne { color: #990000; font-weight: bold } /* Name.Exception */
 336 .highlight .nf { color: #990000; font-weight: bold } /* Name.Function */
 337 .highlight .nn { color: #555555 } /* Name.Namespace */
 338 .highlight .nt { color: #000080 } /* Name.Tag */
 339 .highlight .nv { color: #008080 } /* Name.Variable */
 340 .highlight .ow { font-weight: bold } /* Operator.Word */
 341 .highlight .w { color: #bbbbbb } /* Text.Whitespace */
 342 .highlight .mf { color: #009999 } /* Literal.Number.Float */
 343 .highlight .mh { color: #009999 } /* Literal.Number.Hex */
 344 .highlight .mi { color: #009999 } /* Literal.Number.Integer */
 345 .highlight .mo { color: #009999 } /* Literal.Number.Oct */
 346 .highlight .sb { color: #d14 } /* Literal.String.Backtick */
 347 .highlight .sc { color: #d14 } /* Literal.String.Char */
 348 .highlight .sd { color: #d14 } /* Literal.String.Doc */
 349 .highlight .s2 { color: #d14 } /* Literal.String.Double */
 350 .highlight .se { color: #d14 } /* Literal.String.Escape */
 351 .highlight .sh { color: #d14 } /* Literal.String.Heredoc */
 352 .highlight .si { color: #d14 } /* Literal.String.Interpol */
 353 .highlight .sx { color: #d14 } /* Literal.String.Other */
 354 .highlight .sr { color: #009926 } /* Literal.String.Regex */
 355 .highlight .s1 { color: #d14 } /* Literal.String.Single */
 356 .highlight .ss { color: #990073 } /* Literal.String.Symbol */
 357 .highlight .bp { color: #999999 } /* Name.Builtin.Pseudo */
 358 .highlight .vc { color: #008080 } /* Name.Variable.Class */
 359 .highlight .vg { color: #008080 } /* Name.Variable.Global */
 360 .highlight .vi { color: #008080 } /* Name.Variable.Instance */
 361 .highlight .il { color: #009999 } /* Literal.Number.Integer.Long */
 362 .pl-c {
 363     color: #969896;
 364 }
 365
 366 .pl-c1,.pl-mdh,.pl-mm,.pl-mp,.pl-mr,.pl-s1 .pl-v,.pl-s3,.pl-sc,.pl-sv {
 367     color: #0086b3;
 368 }
 369
 370 .pl-e,.pl-en {
 371     color: #795da3;
 372 }
 373
 374 .pl-s1 .pl-s2,.pl-smi,.pl-smp,.pl-stj,.pl-vo,.pl-vpf {
 375     color: #333;
 376 }
 377
 378 .pl-ent {
 379     color: #63a35c;
 380 }
 381
 382 .pl-k,.pl-s,.pl-st {
 383     color: #a71d5d;
 384 }
 385
 386 .pl-pds,.pl-s1,.pl-s1 .pl-pse .pl-s2,.pl-sr,.pl-sr .pl-cce,.pl-sr .pl-sra,.pl-sr .pl-sre,.pl-src,.pl-v {
 387     color: #df5000;
 388 }
 389
 390 .pl-id {
 391     color: #b52a1d;
 392 }
 393
 394 .pl-ii {
 395     background-color: #b52a1d;
 396     color: #f8f8f8;
 397 }
 398
 399 .pl-sr .pl-cce {
 400     color: #63a35c;
 401     font-weight: bold;
 402 }
 403
 404 .pl-ml {
 405     color: #693a17;
 406 }
 407
 408 .pl-mh,.pl-mh .pl-en,.pl-ms {
 409     color: #1d3e81;
 410     font-weight: bold;
 411 }
 412
 413 .pl-mq {
 414     color: #008080;
 415 }
 416
 417 .pl-mi {
 418     color: #333;
 419     font-style: italic;
 420 }
 421
 422 .pl-mb {
 423     color: #333;
 424     font-weight: bold;
 425 }
 426
 427 .pl-md,.pl-mdhf {
 428     background-color: #ffecec;
 429     color: #bd2c00;
 430 }
 431
 432 .pl-mdht,.pl-mi1 {
 433     background-color: #eaffea;
 434     color: #55a532;
 435 }
 436
 437 .pl-mdr {
 438     color: #795da3;
 439     font-weight: bold;
 440 }
 441
 442 .pl-mo {
 443     color: #1d3e81;
 444 }
 445 .task-list {
 446 padding-left:10px;
 447 margin-bottom:0;
 448 }
 449
 450 .task-list li {
 451     margin-left: 20px;
 452 }
 453
 454 .task-list-item {
 455 list-style-type:none;
 456 padding-left:10px;
 457 }
 458
 459 .task-list-item label {
 460 font-weight:400;
 461 }
 462
 463 .task-list-item.enabled label {
 464 cursor:pointer;
 465 }
 466
 467 .task-list-item+.task-list-item {
 468 margin-top:3px;
 469 }
 470
 471 .task-list-item-checkbox {
 472 display:inline-block;
 473 margin-left:-20px;
 474 margin-right:3px;
 475 vertical-align:1px;
 476 }
 477
 478 /* Custom elements for SCL documentation
 479 =============================================================================*/
 480
 481 .code-doc-box {
 482   margin: 15px 0;
 483   padding: 0;
 484   border-color: #ddd;
 485   background-color: #fff;
 486   border-radius: 4px;
 487   border: 1px solid;
 488   display: block;
 489 }
 490
 491 .code-doc-box>.code {
 492   font-size: 12px;
 493   font-family: Consolas, "Liberation Mono", Courier, monospace;
 494   white-space: pre;
 495   padding: 10px 15px;
 496   border-bottom: 1px solid;
 497   border-top-left-radius: 3px;
 498   border-top-right-radius: 3px;
 499   display: block;
 500 }
 501
 502 .code-doc-box>.value {
 503   background-color: #f0f0ff;
 504 }
 505
 506 .code-doc-box>.data {
 507   background-color: #f0fff0;
 508 }
 509
 510 .code-doc-box>.class {
 511   background-color: #fff0f0;
 512 }
 513
 514 .code-doc-box>.doc {
 515   padding: 0px 15px ;
 516   display: block;
 517 }
 518
 519 .greyed {
 520   color: #a0a0a0;
 521   display: inline;
 522 }
 523
 524 #contentspanel {
 525     float: right;
 526     clear: right;
 527     background: #faf9dc;
 528     border: 1px solid #d8d7ad;
 529     padding: 0.5em 1em;
 530     max-width: 20em;
 531     margin: 0.5em 0 1em 1em;
 532 }
 533
 534 #contentspanel ul {
 535     list-style: none;
 536     margin: 0;
 537 }