/* css styles */
@import url('https://fonts.googleapis.com/css2?family=EB+Garamond:wght@400..700&display=swap');

/* Hack for broken table nonsense */

.lightable-classic {
	width: auto;
	margin: auto;
}

div.cell-output-display {
	overflow: visible !important;
}

/* Basic HTML Elements */

body {
	font-size: 12pt;
	line-height: 21pt;
	color: #6c757d !important;
	background-color: #ffffff;
}

p {
	padding: 0;
}

div.quarto-title > p.subtitle {
	text-align: center;
	font-family: "EB Garamond", Georgia, "Times New Roman", Times, serif;
	padding-bottom: 15pt;
}

a {
	color: #31A7DE;
}

a:visited, a:active {
	color: #71d1ff;
}

h1 {
	font-family: "EB Garamond", Georgia, "Times New Roman", Times, serif;
	font-weight: 300;
}

h2 {
	font-family: "EB Garamond", Georgia, "Times New Roman", Times, serif;
	font-weight: 300;
	border-bottom: 0;
	margin-top: 3ex;
	margin-bottom: 0.5ex;
}

h3 {
	font-family: "EB Garamond", Georgia, "Times New Roman", Times, serif;
	font-weight: 300;
	border-bottom: 0;
	margin-top: 3ex;
	margin-bottom: 0.5ex;
}

h1, h2, h3, h4, h5, h6 {
	color: #5e6770;
}

div.description { /* Only use description for main page */
	display: none;
} 

svg.subdivider-ornament {
	display: block;
	width: 1in;
	margin: 2em auto 2em auto;
}

figcaption {
	text-align: center;
}

header#quarto-header {
	background-color: #FFFFFF;
	
}

header#quarto-header.headroom--pinned {
	box-shadow: 0px 0px 15px;
	
}

header#quarto-header.headroom--pinned.headroom--top {
	box-shadow: none;
	
}

/* Quarto changes */

/*.quarto-title-banner {
	background: none;
}*/

.quarto-categories {
	display: flex;
	justify-content: center;
	margin-bottom: -2em;
}

/*.quarto-title-banner {
	margin: 0;
}*/

.quarto-title-block {
	overflow: visible;
}


.quarto-title-block .quarto-title-banner {
	background-size: 832px 416px;
	background-repeat: no-repeat;
	background-position: center;
	height: 416px !important;
	width: 820px !important;
	margin: 0 auto;
	border-radius: 10pt;
	padding: 2em 0 2em 0pt;
}




#title-block-header > div.quarto-title-banner.page-columns.page-full > div {
	width: 575px;
	background: rgb(255, 255, 255, 0.75);
	border-radius: 10pt;
	align-content: center;
}

.quarto-title-block .quarto-title-banner h1.title {
	font-weight: 500 !important;
	font-variant: small-caps;
	text-align: center;
	font-size: 40pt;
	font-family: "EB Garamond", Georgia, "Times New Roman", Times, serif;
}

.quarto-title-block div.quarto-title p.subtitle {
	padding: 5pt;
}

.quarto-category {
	line-height: 14pt;
	background-color: #FFFFFF !important;
}

.cell {
	margin-top: 1rem;
	margin-bottom: 1rem;
}

#quarto-header > nav > div > a > span,
#quarto-header > nav > div > div.navbar-brand-container > a > span.navbar-title {
	display: none !important;
}

#quarto-header > nav {
	background-color: inherit !important;
}

div#quarto-appendix.default {
	border-top: none !important;
	margin-top: 0;
	padding-top: 0;
	background-color: inherit;
}


/* Still quarto, but the listing page tweaks */

h3.listing-title {
	font-family: "EB Garamond", Georgia, "Times New Roman", Times, serif;
	font-weight: 600;
	font-size: 14pt;
	font-variant: small-caps;
	color: #31A7DE !important;
}

div#listing-listing {
	max-width: 800px;
	margin: 0 auto;
}

#listing-listing div.metadata {
	margin-top: -2pt !important;
	flex-basis: 15%;	
}

#listing-listing div.body {
	flex-basis: 75%;	
}

#listing-listing div.thumbnail {
	display: none;
	flex-basis: 0%;
}

#listing-listing  div.listing-description {
	font-size: 10pt;
	line-height: 14pt;
}

#listing-listing div.listing-subtitle {
	font-family: "EB Garamond", Georgia, "Times New Roman", Times, serif;
	font-weight: 400;
	font-size: 12pt;
}


/* Tippy - the footnote popup thing */


.tippy-box {
	filter: drop-shadow(0 3pt 5pt #5e6770);
}


/* Lightable restyles */


table.lightable-classic {
	border-top: 2px solid #5e6770 !important;
    border-bottom: 2px solid #5e6770 !important;
    border-left-color: #abb3ba;
	border-right-color: #abb3ba;
	color: #6c757d;
}

.lightable-classic thead tr:last-child th {
	border-bottom: 1px solid #5e6770 !important;
}

.lightable-classic td {
	color: #6c757d;
}

.lightable-classic th {
	color: #5e6770;
	font-weight: bold;
}


/* Change to search icon to accomodate hypothesis.is */


#quarto-search {
	padding-right: 15px;
}

/* Post-processing stuff */

svg#eh-logo {
    display: block;
    width: 0.4in;
    height: 0.4in;
    margin: 0 auto;
    fill: #71d1ff;
}

svg#eh-logo:hover {
    fill: #31A7DE;
}


/* ----- Print Stylesheet ----------------------------------------------------*/


@media print {
	
	hypothesis-sidebar {
		display: none;
	}
	
	header#quarto-header {
		display: none;
	}
	
	@page {
		size: 8.5in 11in;
		margin-top: 1in;
		margin-right: 1in;
		margin-left: 1in;
		margin-bottom: 1in;
	}
	
	h1.title {
		margin-top: -1in;
	}
}


/* ----- Shrinking Header ----------------------------------------------------*/


@media only screen and (max-width: 991.98px) {
	#title-block-header > div.quarto-title-banner.page-columns.page-full > div {
		margin-left: auto;
		margin-right: auto;
	}
}

@media only screen and (max-width: 819.98px) {
	.quarto-title-block .quarto-title-banner {
		width: 100vw !important;
		padding-left: 0;
		padding-right: 0;
      }
}

@media only screen and (max-width: 627.98px) {
	#title-block-header > div.quarto-title-banner.page-columns.page-full > div {
		margin-left: -25px;
		width: 100vw !important;
      }
}


/* ---- AMS Mathy -------*/

.theorem {
	display: block;
	color: black;
	padding: 1ex 1em;
	background-color: #eaf7ff;
	border-radius: 10px;
	margin: 1em;
}

/*
.definition, 
.theorem,
.lemma {
	display: block;
	color: black;
	padding: 1ex 1em;
	background-color: #eaf7ff;
	border-radius: 10px;
	margin: 1em;
}

.definition::before {
	content: "Definition. ";
	font-weight: bold;
	font-style: normal;
}

.definition[data-text]::before {
	content: "Definition (" attr(data-text) ") ";
}

.theorem::before {
	content: "Theorem. ";
	font-weight: bold;
	font-style: normal;
}

.theorem[sata-text]::before {
	content: "Theorem (" attr(data-text) ") ";
}

.lemma::before {
	content: "Lemma. ";
	font-weight: bold;
	font-style: normal;
}

.lemma[data-text]::before {
	content: "Lemma (" attr(data-text) ") ";
}

.definition p,
.theorem p,
.lemma p {
	display: inline;
}*/