Site Notice

hello, world

MediaWiki:Css-prettify.css

From Project-EPB Commons
Revision as of 18:58, 9 November 2019 by 机智的小鱼君 (talk | contribs) ([InPageEdit] 没有编辑摘要)

Invoke this: https://common.wjghj.cn/css/{{#replace:{{#replace:Css-prettify.css|Css-|}}|.css|}}

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: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
.pln {
  color: #1b1ea4 !important;
}
@media screen {
  .str {
    color: #080;
  }
  .kwd {
    color: #9b1001 !important;
  }
  .com {
    color: #9a9a9a !important;
  }
  .typ {
    color: #606
  }
  .lit {
    color: #066
  }
  .pun,.opn,.clo {
    color: #660
  }
  .tag {
    color: #008
  }
  .atn {
    color: #606
  }
  .atv {
    color: #080
  }
  .dec,.var {
    color: #606
  }
  .fun {
    color: red
  }
}
@media print,projection {
  .str {
    color: #060
  }
  .kwd {
    color: #006;
    font-weight: 700
  }
  .com {
    color: #600;
    font-style: italic
  }
  .typ {
    color: #404;
    font-weight: 700
  }
  .lit {
    color: #044
  }
  .pun,.opn,.clo {
    color: #440
  }
  .tag {
    color: #006;
    font-weight: 700
  }
  .atn {
    color: #404
  }
  .atv {
    color: #060
  }
}
pre.prettyprint {
  padding: 0px !important;
  background: #f8f9fa !important;
}
ol.linenums {
  margin-top: 0;
  margin-bottom: 0
}
ol.linenums li {
  list-style-type: unset !important;
  background: #f8f9fa !important;
}
ol.linenums li:nth-of-type(2n-1) {
  background: #e8e8e8 !important;
}
ol.linenums {
  margin: 0 !important;
  list-style: none;
  counter-reset: sectioncounter;
}
ol.linenums > li:before {
  display: inline-block;
  content: counter(sectioncounter);
  counter-increment: sectioncounter;
  text-align: center;
  width: 3em;
  font-size: 1em;
  color: #666;
  border-right: 1px solid #efefef;
  margin-right: 8px;
}