Wikimedia Bugzilla is closed!

This has:

		$output = '<style type="text/css">';
		$output .= 'td.left {padding-right: 10px;}';
		$output .= 'td.right {padding-left: 10px; text-align: right;}';
		$output .= 'td.alt {background-color: #DDDDDD;}';
		$output .= '</style>';

It could just go in the generic CSS file that already exists, or to keep it lighter, add a second CSS module and load it nicely

Code isn't actually used at the moment, but that's a different point

Should be moved RL'd at the same time too