div.exampleplugin {
  margin-top: 0px;
  padding: 0px 0px 0px 0px;
  background-color: steelblue;
  color: white;
}

.pool        { font-family: Arial; font-size: 3pt }