From c40cc5e223358dcde2fbb1dd54fcab707d51e268 Mon Sep 17 00:00:00 2001
From: Magnus Hagander <magnus@hagander.net>
Date: Sat, 12 Sep 2020 12:21:12 +0200
Subject: [PATCH] Remove unused javascript

This is from the old version of the website, and hasn't been used for
quite some time.
---
 media/js/monospacefix.js | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 media/js/monospacefix.js

diff --git a/media/js/monospacefix.js b/media/js/monospacefix.js
deleted file mode 100644
index 205e8147..00000000
--- a/media/js/monospacefix.js
+++ /dev/null
@@ -1,27 +0,0 @@
-function display_default_font_size(id)
-{
-    var x = document.getElementById(id);
-
-    if (x.currentStyle)
-        var y = x.currentStyle['fontSize'];
-    else if (window.getComputedStyle)
-        var y = document.defaultView.getComputedStyle(x,null).getPropertyValue('font-size');
-    return y;
-}
-
-document.write('<pre id="monotest" style="display: none;">&nbsp;</pre>');
-document.write('<p id="paratest" style="display: none;">&nbsp;</p>');
-var monoSize = parseInt(display_default_font_size("monotest"));
-var propSize = parseInt(display_default_font_size("paratest"));
-var newMonoSize = propSize / monoSize;
-
-if (newMonoSize != 1)
-{
-    document.write('<style type="text/css" media="screen">'
-                   + '#docContainer tt, #docContainer pre, #docContainer code'
-                   + '{font-size: ' + newMonoSize.toFixed(1) + 'em;}\n'
-                   /* prevent embedded code tags from changing font size */
-                   + '#docContainer code code'
-                   + '{font-size: 1em;}</style>\n');
-}
-
-- 
2.39.5