if (!
$this->colors
) { return $string;
} return "\x1b[36m".\
str_replace("\n", "\x1b[0m\n\x1b[36m",
$string)."\x1b[0m";
} public function renderTitle(Value
$o): string
{ if ($this->windows_output
) { return $this->
utf8ToWindows(parent::
renderTitle($o));
} return parent::
renderTitle($o);
} public function preRender(): string
{ return PHP_EOL;
} public function postRender(): string
{