some scripts and a css file for my MediaWiki installations