index.php

<?php
class OBS {
  private static function msg ($color, $text, $message) {
	if ($message)
		print "<p style='margin-bottom:2px;color:$color'>$text</p>";
	else
		print "<p style='color:$color'>$text</p>";

	if ($message)
		print "<p style='margin-left:32px;margin-top:0'>$message</p>";
  
  }
  
  private static function bad ($t, $m = '') {
	global $warnings, $major, $warningdedup;
	if (isset($warningdedup[$t]))
		return;
	else
		$warningdedup[$t] = true;
	msg ('red', $t, $m);
	$warnings++;
	$major++;
  }
}
?>