Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
IS pretty math
// ==UserScript==
// @name IS pretty math
// @author David Pavlík
// @match https://is.muni.cz/auth/**
// @grant none
// ==/UserScript==
(function() {
'use strict';
const imgs = document.getElementsByTagName('img');
for (const img of imgs) {
let src = img.getAttribute('src');
if (src.startsWith("/auth/system/tex2img")) {
src += '&dpi=200';
img.setAttribute('src', src);
}
}
})();
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment