<?php
/* $Id: style.def 15408 2006-12-08 02:05:13Z ckdake $ */
$name=_("Red Marble");
$description=_("Marblelized background with brown pipes and white text");
$version='1.0.2';
$last_update='2005-02-17';
?>
