/* Consolidated from the old index.php / index.php-Template / index-sample.php / htmlDressing.py
   inline <style> blocks -- one shared stylesheet instead of four duplicated copies. */
pre, code { font-family: "Noto Sans Mono", monospace; }
a:link    { color: #202020; background-color: transparent; text-decoration: none; }
a:visited { color: #0074AA; background-color: transparent; text-decoration: none; }
a:hover   { color: #000090; background-color: transparent; text-decoration: underline; }
a:active  { color: #000040; background-color: transparent; text-decoration: underline; }

body {
  margin: 0 25px 25px 25px;
  background: #ffefef;
  font-family: arial, sans-serif;
  color: #405050;
}

h1, h2 { font-weight: bold; color: #405050; }

.banner { width: 850px; max-width: 100%; }

.plots img { width: 30%; margin: 2px; }

table.cards { border-collapse: collapse; width: 100%; }
table.cards td { vertical-align: top; padding-right: 24px; }

table.samples { border-collapse: collapse; width: 100%; }
table.samples th, table.samples td {
  text-align: left; padding: 2px 10px 2px 0;
}

.badge {
  display: inline-block;
  min-width: 3.5em;
  padding: 1px 6px;
  border-radius: 3px;
  font-size: 12px;
  font-weight: bold;
  text-align: center;
  color: #fff;
}
.badge-ok      { background: #2e8b57; }
.badge-warn    { background: #d99a00; }
.badge-held    { background: #cc4400; }
.badge-stale   { background: #888888; }
.badge-dead    { background: #b00020; }
.badge-unknown { background: #888888; }

.footer {
  font-size: 10px;
  font-weight: bold;
  color: #405050;
  border-top: 1px solid #ccc;
  margin-top: 20px;
  padding-top: 6px;
}

.crumb { font-size: 14px; margin-bottom: 10px; }