User:Barto/common.js

/** * Deletes paragraphs created by double blank lines. * Whitespace is fixed using css instead, see User:Barto/common.css * -- */

$(".mw-body p").filter(function {	s = $(this).html;	return s.substring(0, s.length - 1) == " "; }).remove;//css({"line-height": 0, "margin" : 0});

if (location.pathname.split('/').slice(-1)[0].startsWith("Equivalence_of_Definitions")) { $(".mw-body h3:not(:first-of-type)").filter(function {return $(this).index <= $(".mw-body h2:nth-of-type(2)").eq(0).index}).css("margin-top", "0.225em"); }