/* codehighlighting */
.codehilite {
  padding: 12px;
}

.linenodiv {
  padding-right: 4px;
  margin-right: 12px;
  border-right: solid 1px;
}

main * {
  /*
	* when scrolling to any anchor in the main, the browser scrolls too far
	* because it does not account for the header of the page. This
	* sets a scroll margin for every child of main.
	*
	* The header is typically 59.5px high.
	*/
  scroll-margin-top: 60px;
}

.tagify {
  --tags-border-color: var(--bs-light-border-subtle);
  --placeholder-color: var(--bs-body-color) !important;
  --placeholder-color-focus: var(--bs-primary) !important;
  --tag-bg: var(--bs-primary) !important;
  --tags-border-color: var(--bs-border-color) !important;
  --tag-border-radius: 0.375rem !important;
  --tag-text-color: var( 	--bs-body-color) !important;
  /* border: var(--bs-border-width) var(--bs-border-style) var(--bs-border-color) !important; */
  border-radius: 0.375rem;
  width: 100%;
  height: 100%;
}
