/* CSS stylesheet for whatis.php */

div.warningbox
{
  border: 1px solid #900;
  padding: 5px;
  color: #900;
  border-radius: 5px;
}