protected static function heading($first, $code = '', $rest = '')
{
if (!static::isCli()) {
print "<div class=\"krumo-title\">";
}
print $first;
if ($code && !static::isCli()) {
print "<code><b>";
}
print $code;
if ($code && !static::isCli()) {
print "</code></b>";
}
print $rest;
if (!static::isCli()) {
print "</div>";
}
}