@font-face {
	font-family: comic-shanns;
	src: url(/fonts/comic-shanns-nerd-font-regular.ttf)
}
* {
	font-family: comic-shanns;
}
body {
  -webkit-text-size-adjust: 100%; /* prevent Mobile Safari from adjusting font sizes */
}

nav a.current {
  color: var(--accent) !important;
  border-color: var(--accent) !important;
}

div.pagination {
  display: flex;
  justify-content: space-between;
}

ul.blog-posts {
  padding-left: 0;
}

ul.blog-posts > li {
  list-style-type: none;
  display: flex;
}

ul.blog-posts > li span {
  flex: 0 0 130px;
  color: var(--text-light);
}

nav#TableOfContents > ul {
  margin-block-start: 0;
}

.icon {
  vertical-align: sub;
  padding-right: 0.25rem;
  display: inline-block;
  width: 1em;
  height: 1.3em;
  margin-right: 0.2rem;
  stroke-width: 0;
  stroke: currentColor;
  fill: currentColor;
}

div.highlight code,
div.highlight pre,
div.highlight pre span {
  color: inherit;
}
img[src$='#center']
{
    display: block;
    margin: 0.7rem auto; /* you can replace the vertical '0.7rem' by
                            whatever floats your boat, but keep the
                            horizontal 'auto' for this to work */
    /* whatever else styles you fancy here */
}

img[src$='#floatleft']
{
    float:left;
    margin: 0.7rem;      /* this margin is totally up to you */
    /* whatever else styles you fancy here */
}

img[src$='#floatright']
{
    float:right;
    margin: 0.7rem;      /* this margin is totally up to you */
    /* whatever else styles you fancy here */
}
