<?php
/* $Id: style.def 15408 2006-12-08 02:05:13Z ckdake $ */
$name = _("Hot Red");
$description = _("Black with red pipes and highlights, white text");
$version='1.0.4';
$last_update='2006-08-14';
?>
