File: codemirror-fixes.less

package info (click to toggle)
mediawiki-extension-codemirror 4.0.0~git20221204.b897975-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,968 kB
  • sloc: javascript: 12,956; php: 147; sh: 84; makefile: 13
file content (6 lines) | stat: -rw-r--r-- 272 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
 
.CodeMirror {
	// Fix `font-family: monospace;` caused weird font sizing of browsers.
	// Task:  https://phabricator.wikimedia.org/T176636
	// See:  http://code.iamkate.com/html-and-css/fixing-browsers-broken-monospace-font-handling/
	font-family: monospace, monospace;
}