Site Notice
hello, world
MediaWiki:Gadget-Highlight.css
From Project-EPB Commons
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 {
font-weight: bold;
background: #fbe7b2;
}
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;
}
