.page_tip
{
  border: 1px dashed #808080;
  font-size: 80%;
  padding: 4px;
  background-color: #ff9;
  color: #000;
}

.page_tip a, .page_tip a:visited
{
  color: #000066;
  text-decoration: none;
}

.page_tip a:hover
{
  color: #006600;
  text-decoration: underline;
}