MediaWiki:Geshi.css

From StarCraft AI, the resource for custom StarCraft Brood War AIs
Revision as of 19:35, 20 July 2015 by Warwolf30 (Talk | contribs) (Created page with "CSS placed here will be applied to GeSHi syntax highlighting: div.mw-geshi { background-color: darken($body-bg, 4%); border: 1px solid darken($body-bg, 6%); margin...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Note: After saving, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Clear the cache in Tools → Preferences
/* CSS placed here will be applied to GeSHi syntax highlighting */
 
div.mw-geshi {
  background-color: darken($body-bg, 4%);
  border: 1px solid darken($body-bg, 6%);
  margin: 0;
 
  pre {
    color: #ffc974;
    line-height: 1.5em;
    padding: 0;
    background: darken($body-bg, 4%);
    border: 0;
  }
 
  pre ol {
    list-style: decimal;
    list-style-position: outside;
    padding: 0;
    margin: 0;
  }
 
  pre ol li {
    margin: 0 0 0 35px;
    padding: 0;
    color: $text-color;
    clear: none;
  }
 
  pre ol li div {
    color: $text-color;
  }
 
  code {
    background-color: darken($body-bg, 4%);
    color: #ffc974;
  }
 
  .st_h {
    color: #689b5d;
  }
 
  .li1 {
    background: #202021;
  }
 
  .co1,
  .coMULTI {
    color: darken($text-color, 15%);
  }
  .co0,
  .co4 {
    color: #689b5d;
  }
 
  .me1 {
    color: $text-color;
  }
 
  .me0 {
    @extend .me1;
  }
 
  .me2 {
    @extend .me1;
  }
 
  .br0 {
    color: #90b6ca;
  }
 
  .st0 {
    color: #8F9657;
  }
 
  .kw1 {
    color: #d28039;
  }
 
  .kw2 {
    @extend .kw1;
  }
 
  .kw3 {
    @extend .kw1;
  }
 
  .nu0 {
    color: #CF6745;
  }
 
  .re0 {
    color: #9f80b0;
  }
 
  [lang=css] .kw2,
  .css .kw2 {
    color: #F9EE7E;
  }
 
  .re1 {
    color: #96703D;
  }
 
  [lang=css] .re3,
  .css .re3 {
    color: #CA7840;
  }
 
  [lang=javascript] .me1,
  .javascript .me1 {
    color: #505e80;
  }
}