<?php
# This is just to ensure that this style is not cached.
$style_ts = date('YmdHis');
?>
<LINK href="/rings-styles/ring_style.css?v=<?php echo $style_ts;?>"
      rel="stylesheet"
      type="text/css">
