/* default styles for extension "tx_dedivbanner_pi1" */
  .pointer { cursor: hand}
  .bannerlink { font-family:verdana; font-size=12px; color: #ffffff; font-weight: normal; text-decoration:none; }
/* default styles for extension "tx_psmpkdownloads_pi1" */
  .tx-psmpkdownloads-pi1 H2 { margin-top: 0px; margin-bottom: 0px; }