/* from links.css - still needed? */
a:hover { color: #000; text-decoration: none;}
a:active { color: #ccc; }

div p a   { color: #333; } /* replacement for dkgrlink in most places */
.darkpage .dkgrlink { color: #999; }
.mainpale .dkgrlink,
.dkgrlink { color: #333; }
.dkbllink { color: #336; }

.defaultblue { color: #00f; }

body > nav:first-child {
	margin: 0 -24px 1em;
	padding: 8px 0;
  border-bottom: 2px solid #bbb;
	text-align: center;
	position: sticky;
	top: 0;
	background: rgba(255,255,255,.7);
	backdrop-filter: blur(9px);
	z-index: 1;
}
body > nav:first-child a,
body > nav:first-child span {
	padding: 10px 1.2em;
	font-weight: bold;
	letter-spacing: 0.4em;
}
body > nav:first-child span,
body > nav:first-child a.here {
	border-bottom: 5px #888 solid;
	background: #ddd;
}
body > nav:first-child a.here:hover {
	border-color: #666;
	background: #fff;
}

body.darkpage > nav:first-child span,
body.darkpage > nav:first-child a.here {
	border-bottom: 5px #333 solid;
	background: #112;
}
body.darkpage > nav:first-child a.here:hover {
	border-color: #444;
	background: #223;
}

body > nav:first-child span.sndlink,
.sndlink:hover,
.sndlink  { color: #c00; }

body > nav:first-child span.artlink,
.artlink:hover,
.artlink  { color: #44a; }
.darkpage .artlink { color: #88e; }
.darkpage .breadcrumbs { color: #66b; }
.darkpage .breadcrumbs .artlink { color: inherit; }

.darkpage .artlink:hover {
  background: #223;
}

body > nav:first-child span.txtlink,
.txtlink:hover,
.txtlink  { color: #383; }

.leftcol a:hover { background: transparent; }