Site Notice

hello, world

MediaWiki:Gadget-Highlight.css

From Project-EPB Commons
Revision as of 23:27, 29 October 2020 by 机智的小鱼君 (talk | contribs) ([InPageEdit] 没有编辑摘要)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Invoke this: https://common.wjghj.cn/

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.
pre.highlight {
  font-size: 1rem;
  line-height: 1.4;
  padding: .85em;
  word-wrap: normal;
  word-break: break-all;
  white-space: pre;
  overflow-x: auto;
}
pre.highlight.linenums {
  padding: 0;
  position: relative;
}
pre.highlight.linenums .line-container {
  position: relative;
}
pre.highlight.linenums .line-container .line-content {
  position: relative;
  width: calc(100% - 3em);
  left: 3em;
  overflow-x: auto;
}
pre.highlight.linenums .line-content .line-row {
  padding: 0;
  margin: 0;
}
pre.highlight.linenums .line-content .line-row::after {
  /* 行末添加不换行空格,保证空 div 的高度 */
  content: "\a0";
}
pre.highlight.linenums .line-ping {
  background: #fbe7b2;
}
pre.highlight.linenums .line-numbers .line-ping {
  font-weight: bold;
}
pre.highlight.linenums .line-container .line-numbers {
  position: absolute;
  pointer-events: none;
  user-select: none;
  top: 0;
  left: 0;
  width: 3em;
  padding: 0;
  margin: 0;
  text-align: center;
}
pre.highlight.linenums .line-container .line-numbers .line-number-block {
  color: #a0a0a0;
}