/*
 * override some tufte options
 */
html {
  font-size: 13px;
}

/*
 * override some w3.css options
 */
@media (min-width:993px){.w3-sidebar.w3-collapse{display:none}}

/* not entirely happy w/ this adjustment to get the side bar icon visible */
.w3-top {
  left: 0;
  width: 100%;
}

.w3-sidebar {
  font-size: 1.2rem;
  width: 22em;
  right: 0;
  display: block;
  top: 0;
  bottom: 0;
  overflow-y: scroll;
}

ul.posts > li {
  padding-left: 1.5em;
  text-indent: -1em;
}

.copyright {
  margin-top: 2em;
}

.small {
  font-size: 80%;
}

.prevnext {
  text-align: center;
}

p.posted {
  margin-top: .5em;
  margin-bottom: .5em;
}

a.headerlink {
  /* give some space to para links */
  margin-left: .2em;
  /* hide until hover */
  display: none;
}

*:hover > .headerlink {
    display: unset;
}

ul.tags {
  list-style-type: none;
  margin-top: .2em;
  margin-bottom: .2em;
}

ul.tags  li {
    padding-left: .5em;
    padding-right: .5em;
    display: inline-block;
}

ul.footer {
    padding-left: 0;
}

pre {
  white-space: pre-wrap;
}

pre.showlines::before {
  counter-reset: listing;
}
pre.showlines code {
  counter-increment: listing;
}
pre.showlines code::before {
  content: counter(listing) ". ";
  display: inline-block;
  width: 3em;         /* now works */
  text-align: right;  /* now works */
}