body {
	font-family: "Open Sans Hebrew", "Open Sans", sans-serif;
	direction: rtl;
}

code {
	font-family: Menlo, Consolas, Monaco, Adwaita Mono, Liberation Mono, Lucida Console, monospace; /* Source: https://systemfontstack.com/ */
	padding: initial;
	display: initial;
	direction: ltr;
	unicode-bidi: embed;
}

a {
	text-underline-offset: 0.1em;
}

a:hover, a:visited, a:visited:hover, a:active {
	color: unset;
}

a:active {
	background: #d6ffdf;
}

.extlink, .extlink:hover, .extlink:visited, .extlink:visited:hover, a.extlink:active {
  text-decoration-color: darkgray;
}

::selection {
  background: #d6ffdf;
}

.headerimg {
	width: 100%;
	text-align: center;
	margin-top: 2rem;
	margin-bottom: 1.625rem;
}

@media screen and (min-width: 40em) {
	.headerimg {
		margin-top: 6.5rem;
	}
}

.headerimg svg {
	width: 90%;
	height: auto;
}

.icontable td {
	vertical-align: baseline;
}
.icontable td:first-child {
	//font-size: 50px;
	padding-inline-end: 0.5em;
}

.paricon {
	position: absolute;
}

h1 .paricon {
	right: -1.10em;
	margin-top: 0.6ex;
	/* This size is taken from the h2 size, because icons with h1 size go beyond the border */
  font-size: 27px;
  font-size: 1.6875rem;
}

h2 .paricon {
	right: -1.25em;
	margin-top: 0.3ex;
}

h3 .paricon {
	right: -1.25em;
	margin-top: 0.2ex;
}

:target {
  scroll-margin-top: 2.5em;
}

p .paricon {
	right: -1.5em;
	margin-top: 0.4ex;
}

.paricon-image, .phicon-image {
	width: 0.75em;
	margin-top: -1.5ex !important; /* a workaround because Typst’s #box has `display` of `inline-block` */
}

/* Match h1 `margin-top` to that of h2 because it looks much better when there’s a graphical header */
h1 {
  margin-top: 65px;
  margin-top: 4.0625rem;
}

h1, h2, h3, p {
	position: relative;
}

#nav_sup {
	display: flex;
  flex-wrap: wrap;
  justify-content: space-around;
	font-size: 1.15em;
	position: sticky;
	top: -2px;
	background-color: white;
	z-index: 1;
}

nav[stuck] {
	border-bottom: 1px black solid;
}

#nav_sup div {
	border-width: 0.10em;
	border-style: solid;
  border-radius: 5%;
	border-color: transparent;
	padding: 0.15em 0.5em;
	/* text-align: center; */
	margin-top: 0.2em;
	margin-bottom: 0.1em;
}
#nav_sup div:hover {
	border-color: black;
}
#nav_sup > a {
	text-decoration: none;
	/* width: 100%; */
	/* margin-bottom: 0px; */
}

#nav_malsup {
	display: grid;
  grid-template-columns: repeat(2, 1fr);
	grid-gap: 1em;
	padding: 1em;
	margin: auto;
}
#nav_malsup div {
  width: 100%;
	border-width: 0.15em;
	border-style: solid;
  border-radius: 5%;
	border-color: transparent;
	font-size: 1.25em;
	padding: 1em;
	text-align: center;
	margin-bottom: 0px;
}
#nav_malsup div:hover {
	border-color: black;
}
#nav_malsup div .ph {
	font-size: 2em;
}
#nav_malsup > a {
	text-decoration: none;
	width: 100%;
	margin-bottom: 0px;
}



@media screen and (min-width: 40em) {
	.typst-doc {
		margin: 0px !important;
	}
}


@media screen and (max-width: 40em) {
	#nav_sup {
		font-size: 0.9em;
	}
}

.typst-doc {
	margin-bottom: 0px !important;
}
span {
  margin-bottom: 0px !important;
}

details > summary {
	cursor: pointer;
}

.notalink { text-decoration: underline; cursor: pointer }

table {
	margin-left: 0px;
	margin-right: 0px;
}

th  {
font-weight: inherit;
}

th, td {
	vertical-align: top;
	text-align: start;
	padding: 0.25em;
}
