table.header {
    border-spacing: 0pt;
    width: 100%;
}

table.header td, table.header th{
    padding: 0pt;
}

table.noborder td, table.header th{
    padding: 4px;
}

td.top, th.top {vertical-align: top;}

@font-face {
    font-family: UTR25 Math;
    src:  url('fonts/UTR25Math-Regular-16.woff2');
}

@font-face {
  font-family: STIX Two Math;
  src: url('fonts/STIXTwoMath-Regular-2-13.woff2');
}

@font-face {
    font-family: STIX Two Text;
    src: url('fonts/STIXTwoText-Regular-2-13.woff2');
}
@font-face {
    font-family: STIX Two Text;
    src:  url('fonts/STIXTwoText-Bold-2-13.woff2');
    font-weight: bold;
}
@font-face {
    font-family: STIX Two Text;
    src: url('fonts/STIXTwoText-Italic-2-13.woff2');
    font-style: italic;
}
@font-face {
    font-family: STIX Two Text;
    src: url('fonts/STIXTwoText-BoldItalic-2-13.woff2');
    font-weight: bold;
    font-style: italic;
}

@font-face {
    font-family: ygoth;
    src:  url('fonts/ygoth-0-61.woff2');
}

body {font-family: STIX TWo Text}
span.ygoth {font-family:ygoth;}

@font-feature-values STIX Two Math { @styleset { roundhand: 1; } }

tt {
font-family: "Noto Sans Mono", monospace;
}

code.latex{
font-size: 110%
}

math[display="block"] {
    padding-top: 10px;
    padding-bottom: 10px;
}

math, span.math {
    /*color: #700;*/ /* debugging */
    font-size: 110%;
    font-family: "UTR25 Math";
}

span.stixtwomath {
  /*color: #700;*/ /* debugging */
  font-size: 110%;
  font-family: "STIX Two Math";
}
.no-ligatures {
    font-variant-ligatures: none;
}

  .f7 { font-size: 70% }
  .f95 { font-size: 85% }

   .rot180 {padding: 0 .2em;
    display:inline-block;
    transform:rotate(180deg) !important;
	   }


span.name { text-transform: lowercase; 
	    font-variant: small-caps;
	    font-size: 100%; }

body {font-family: STIX Two Text;}
div.body{     max-width: 60em;}

@media screen and (min-width: 80em) {
    #toc{	background-color:#F9F9F9;
		position:fixed;
		font-size:90%;
	left:70em;
	top:3.5em;
        height:100%;
	white-space:nowrap;
	max-width: calc(100% - 72em);
	padding-left: .5em;
	margin-bottom: 1em;
	}

        #toc2{
	height:90%;
	overflow-y:scroll;
	overflow-x: clip;
        padding-right:2em;
        margin-left: 1em;
        margin-bottom: 1em;
}

	ul.toc {margin-left: 0em;padding-left:0em;}
	ul.toc li  {margin-left: 0em;padding-left:0em;}
}

/* compress the sidebar a bit before dropping it completely */
@media screen and (min-width: 80em) and (max-width: 90em) {
#toc ul {
 font-size:90%;
}