/* ------------------------------------------------------------------
   old.css -- style sheet for the old home page.
   Kept deliberately small: the page should degrade to plain HTML.
   ------------------------------------------------------------------ */

BODY {
  background-color: #C0C0C0;
  color: #000000;
  font-family: "Times New Roman", Times, serif;
  font-size: 16px;
  line-height: 1.45;
  margin: 12px;
}

TABLE { max-width: 100%; }

/* the sheet of paper on the desktop */
TD.paper {
  background-color: #FFFFFF;
  border: 1px solid #000000;
  padding: 16px 18px 10px 18px;
}

H1 {
  font-size: 27px;
  font-weight: bold;
  margin: 0 0 10px 0;
  letter-spacing: 0;
}

H2 {
  font-size: 20px;
  font-weight: bold;
  margin: 18px 0 8px 0;
}

H2 A[NAME], H2 A[name] { color: #000000; text-decoration: none; }

P  { margin: 8px 0; text-align: justify; }
UL { margin: 8px 0 8px 0; padding-left: 30px; }
LI { margin: 4px 0; text-align: justify; }
DL { margin: 8px 0; }

HR { color: #000000; background-color: #000000; border: 0; height: 2px; margin: 14px 0; }
HR[SIZE="1"], HR[size="1"] { height: 1px; }

A:link    { color: #0000EE; }
A:visited { color: #551A8B; }
A:active  { color: #FF0000; }
A:hover   { background-color: #FFFF99; }

IMG { border-color: #000000; }

/* ---- publication list ---------------------------------------------------- */

OL.pubs { margin: 6px 0 6px 0; padding-left: 34px; }
OL.pubs > LI { margin: 0 0 10px 0; text-align: left; }

.pubyear {
  font-size: 17px;
  font-weight: bold;
  margin: 14px 0 4px 0;
  border-bottom: 1px solid #000000;
}

.pubtitle  { font-weight: bold; }
.pubvenue  { font-style: italic; }
.pubnote   { font-size: 13px; }

.bibtex {
  font-family: "Courier New", Courier, monospace;
  font-size: 12px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  max-width: 100%;
  background-color: #EEEEEE;
  border: 1px solid #999999;
  padding: 6px;
  margin: 5px 0 0 0;
}

.bibtoggle { font-size: 12px; }

/* ---- news ticker --------------------------------------------------------- */

.ticker {
  display: block;
  width: 100%;
  background-color: #FFFFCC;
  border: 1px solid #000000;
  font-family: "Courier New", Courier, monospace;
  font-size: 12px;
  padding: 3px 0;
  margin: 10px 0;
}

/* ---- the obligatory road works ------------------------------------------- */

.construction {
  display: flex;
  align-items: center;
  gap: 6px;
  border: 1px solid #000000;
  background-color: #FFCC00;
  padding: 3px;
  margin: 10px 0 4px 0;
}

.construction .stripes {
  flex: 1 1 auto;
  height: 14px;
  background-image: repeating-linear-gradient(
    -45deg, #000000 0 8px, #FFCC00 8px 16px
  );
  background-size: 22.63px 22.63px;
  animation: crawl 1.2s linear infinite;
}

.construction .conlabel {
  flex: 0 0 auto;
  font-family: "Courier New", Courier, monospace;
  font-size: 11px;
  font-weight: bold;
  letter-spacing: 1px;
  white-space: nowrap;
}

@keyframes crawl {
  from { background-position: 0 0; }
  to   { background-position: 22.63px 0; }
}

/* ---- NEW! ----------------------------------------------------------------- */

.new {
  font-family: "Courier New", Courier, monospace;
  font-size: 10px;
  font-weight: bold;
  color: #CC0000;
  letter-spacing: 1px;
  animation: blink 1.1s steps(1, end) infinite;
}

@keyframes blink {
  50% { opacity: 0; }
}

@media (prefers-reduced-motion: reduce) {
  .construction .stripes { animation: none; }
  .new { animation: none; }
}

/* ---- footer counter ------------------------------------------------------ */

IMG.counter {
  vertical-align: -5px;
}

/* ---- small screens (the future was not foreseen in 1997) ----------------- */

@media (max-width: 780px) {
  BODY { margin: 8px; font-size: 15px; }
  TABLE[WIDTH="760"], TABLE[width="760"] { width: 100% !important; }
  P, LI { text-align: left; }
}

/* the portrait is taller than the space the table gives it */
IMG.portrait {
  object-fit: cover;
  object-position: 50% 20%;
}