Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
/* Latin Modern (LaTeX default) font */

@font-face {
	font-family: 'Latin Modern Roman';
	font-weight: normal;
	font-style: normal;
	src: url('https://cdn.jsdelivr.net/gh/andrewbelt/witex@master/fonts/lmroman10-regular.woff') format('woff');
}

@font-face {
	font-family: 'Latin Modern Roman';
	font-weight: bold;
	font-style: normal;
	src: url('https://cdn.jsdelivr.net/gh/andrewbelt/witex@master/fonts/lmroman10-bold.woff') format('woff');
}

@font-face {
	font-family: 'Latin Modern Roman';
	font-weight: normal;
	font-style: italic;
	src: url('https://cdn.jsdelivr.net/gh/andrewbelt/witex@master/fonts/lmroman10-italic.woff') format('woff');
}

@font-face {
	font-family: 'Latin Modern Roman';
	font-weight: bold;
	font-style: italic;
	src: url('https://cdn.jsdelivr.net/gh/andrewbelt/witex@master/fonts/lmroman10-bolditalic.woff') format('woff');
}

@font-face {
	font-family: 'Latin Modern Mono';
	font-weight: normal;
	font-style: normal;
	src: url('https://cdn.jsdelivr.net/gh/andrewbelt/witex@master/fonts/lmmono10-regular.woff') format('woff');
}

@font-face {
	font-family: 'Latin Modern Mono';
	font-weight: normal;
	font-style: italic;
	src: url('https://cdn.jsdelivr.net/gh/andrewbelt/witex@master/fonts/lmmono10-italic.woff') format('woff');
}

#pt-userpage, #ca-view, #ca-edit, #ca-history, #p-views, #ca-viewsource, #mw-page-base, div.vectorTabs ul, div.vectorTabs span{ 
	background: none;
}

/* Page Layout */

body {
	background: none;
	font-size: 12pt;
	font-family: 'Latin Modern Roman', serif;
	color: black;
}

h1, h2, h3, h4, h5, h6 {
	border: none;
	font-weight: bold;
}

a {
        color: #0000FF;
}

a:visited {
	color: #7700FF;
}

a.new, a.new:visited {
	color: #FF0000;
}

ul {
	list-style: disc;
}

span.texhtml {
	/* revert inline math to default font */
	font-family: inherit;
	font-size: inherit;
	line-height: inherit;
}