div.dnLinks { padding: 10px 0px; color: var(--exec-txt-color); margin-bottom: 44px; }
div.dnLinks hr { background-color: var(--exec-txt-color); color: var(--exec-txt-color); height: 2px; border-width: 0px; }
div.dnLinks nav { margin-top: 18px; margin-bottom: 12px; font-size: 14px; text-align: center; line-height: 40px; }
div.dnLinks a { padding: 3px 12px; font-size: 14px; text-decoration: none solid; }
div.dnLinks a:link { color: var(--exec-txt-color); }
div.dnLinks a:visited { color: var(--exec-txt-color); }
div.dnLinks a:hover { background-color: var(--exec-txt-color); color: var(--exec-bg-color); border-radius: 10px; }
div.executionNotice { margin: 30px auto; font-family: Arial, Helvetica, sans-serif; z-index: 2; }
div.executionNotice fieldset { background-color: var(--exec-bg-color); color: var(--exec-txt-color); border: 2px solid var(--exec-txt-color); border-radius: 10px; font-size: 22px; }
div.executionNotice legend { background-color: var(--exec-txt-color); color: var(--exec-bg-color); text-shadow: var(--exec-txt-legend-shadow-color); box-shadow: var(--exec-box-legend-shadow-color); border-radius: 10px; font-size: 30px; text-align: center; padding: 3px 26px; }
div.executionNotice .red { background-color: red; }
div.executionNotice span { font-size: 30px; }
div.executionNotice span.smol { font-size: 16px; }
div.executionNotice hr { margin-bottom: 12px; background-color: var(--exec-txt-color); color: var(--exec-txt-color); height: 2px; border-width: 0px; }
div.executionNotice nav { font-size: 18px; line-height: 30px; }
div.executionNotice a { padding: 3px 12px; font-size: 14px; text-decoration: none solid; }
div.executionNotice a:link { color: var(--exec-txt-color); }
div.executionNotice a:visited { color: var(--exec-txt-color); }
div.executionNotice a:hover { background-color: var(--exec-txt-color); color: var(--exec-bg-color); border-radius: 10px; }
div.linkLine { width: 100%; text-align: center; font-size: 18px; }
div.linkLine .thisPage { color: mediumseagreen; font-weight: bold; font-size: 20px; }
div.linkLine a { margin-right: 3px; margin-left: 3px; }
@media screen and (max-width: 500px) {
  div.dnLinks a { font-size: 14px; }
  div.executionNotice a { font-size: 14px; }
  div.executionNotice legend { font-size: 22px; }
  div.executionNotice span { font-size: 18px; }
  div.executionNotice span.smol { font-size: 14px; }
  div.executionNotice fieldset { font-size: 14px; }
  div.executionNotice nav { font-size: 16px; }
}
@media screen and (max-width: 400px) {
  div.dnLinks a { font-size: 12px; }
  div.executionNotice a { font-size: 12px; }
  div.executionNotice legend { font-size: 18px; }
  div.executionNotice span { font-size: 16px; }
  div.executionNotice span.smol { font-size: 12px; }
  div.executionNotice fieldset { font-size: 12px; }
}