stupid bugfix of some jquery mutation stuff when switching to find page (and scrolls funny)
stupid bugfix of some jquery mutation stuff when switching to find page (and scrolls funny)

DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc,sagemathinc/smc,sagemathinc/smc,DrXyzzy/smc,tscholl2/smc,DrXyzzy/smc,tscholl2/smc