/* grey box for note */
p.tip {
  border-style: ridge;
  border-radius: 5px;
  border-width: medium;
  border-color: #303030;
  padding: 10px 10px 10px;
  background: #f1f1f1;
}