@page {
  size: auto;
  margin: 10mm 10mm 10mm 10mm;
}

html,
body {
  font-size: 8pt;
}

.ui.top.menu {
  display: none;
}

.ui.subnav.menu {
  display: none;
}

.topnav-spacer {
  display: none;
}

.subnav-spacer {
  display: none;
}

.print-logo {
  display: block;
  position: absolute;
  /* TODO: not sure why "top: 0" doesn't line up perfectly with the top of the window...
   * something weird is going on, but it's not worth looking into for such a limited
   * case. i'll check this out someday...maybe... */
  top: 8px;
  right: 0;
  height: 30px;
}

.page-content {
  padding-top: 0;
}

.page-footer .right.list {
  display: none;
}

.no-print {
  display: none !important;
}

.ui.header,
.dataTables_wrapper,
.ui.table,
.highcharts-container {
  page-break-inside: avoid;
}

.jump-link-target::before {
  display: none;
}

.orbit-map-container .buttons-container .full-window-button {
  display: none;
}

.highcharts-container .highcharts-exporting-group {
  display: none;
}