@import "bgst_lwarp.css";
@import "decor.css";
@import url('https://fonts.googleapis.com/css2?family=Creepster&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Mountains+of+Christmas:wght@400;700&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Tiny5&display=swap');

/*@import url('https://fonts.googleapis.com/css2?family=Open+Sans:ital,wght@0,300..800;1,300..800&family=Source+Sans+3:ital,wght@0,200..900;1,200..900&display=swap');*/

:root {
	--CGAlightgray: #AAAAAA;
	--CGAdarkgray:#555555;
	--CGAlightblue: #5555FF;
	--CGAblue: #0000AA;
	--CGAlightgreen: #55FF55;
	--CGAgreen: #00AA00;
	--CGAlightcyan: #55FFFF;
	--CGAcyan:#00AAAA;
	--CGAlightred: #FF5555;
	--CGAred: #AA0000;
	--CGAlightmagenta: #FF55FF;
	--CGAMagenta: #AA00AA;
	--CGAbrown: #AA5500;
	--CGAyellow: #FFFF55;

	--activeNavColor: black;
	/*--activeNavBackColor: #EEEEEE;*/
	--activeNavBackColor: #EEEEEE;
	--activeSearchColor: var(--CGAlightgreen);
	--backgroundColor: white;
	--bodyLinkColor: var(--CGAblue);
	--bodyLinkVisitedColor: var(--CGAbrown);
	--bottomNavLinkColor: var(--CGAMagenta);
	--definitionColor: var(--CGAlightblue);
	--ruleColor: var(--CGAlightmagenta);
	--exampleColor: var(--CGAlightgreen);
	--exerciseColor: var(--CGAbrown);
	--footerColor: white;
	--footerNavLinkColor: black;
	--headerColor: #EEEEEE;
	--logoBackgroundColor: transparent;
	--proofColor: black;
	--proofBarColor: transparent;
	--searchBackgroundColor: #EEEEEE;
	--searchListBorder:var(--CGAlightmagenta);
	--sidetocTitle: var(--CGAlightgray);
	--aNiveauLogo: var(--CGAMagenta);
	--bNiveauLogo: var(--CGAlightblue);
	--solutionColor: var(--CGAbrown);
	--solutionShowColor: var(--CGAyellow);
	--theoremColor: var(--CGAlightred);
	--tocChapColor: black;
	--tocChapBackColor: var(--CGAdarkgray);
	--thmDefExamExerColor: #f4f4f4;
	--prerequisitesBackColor: #FFCCCC;
	--mayskipBackColor: #CCCCFF;
	--mayskipColor: var(--CGAblue);
	--schapterColor: var(--CGAlightgreen);
	--newcontentwarningBackColor: #FFFFCC;

	--menuWidth: 13.5em;
	--contentWidth: 40.5em;
}

html {
	/*scroll-behavior: smooth;*/
}

html body {
	background: var(--backgroundColor);
	/*font-family: 'proxima-nova', sans-serif;*/
	/*margin: 0.5em;*/
	margin: auto;
	/*font-family: 'Helvetica Neue','arial', sans-serif;*/
	font-family: sans-serif;
	-webkit-font-smoothing: antialiased;
	line-height: 1.7;
	max-width: calc(var(--menuWidth) + var(--contentWidth) + 2em);
}

body.start-page {
	max-width: unset;
	margin: 0 0 0 0.5ex;
}

body.menu-hidden {
	max-width: var(--contentWidth);
}

.menu-hidden #info-link{
	display: none;
}

.menu-hidden .download-pdf-menu{
	display: none;
}

body.wide-page {
	max-width: unset;
	margin: 0;
}

a:link, a:visited {
	color: black;
}

a:hover {
	text-decoration: none;
}

nav.sidetoc a:hover {
	text-decoration: none ;
	/*background: var(--activeSearchColor);*/
}

a.linkhome {
	font-weight: normal;
}

figure {
	margin: 0;
}

ul {
	line-height: inherit;
}

.bodyandsidetoc {
	display: flex;
	background: white;
}

.bodywithoutsidetoc {
	background: white;
	padding-top: 0.5ex;
	font-size: 1em;
}

main.bodycontainer {
	flex-grow: 1;
	width: 30em;
	font-family: 'georgia', serif;
	font-size: 17px;
}

/* HEADER HEADER HEADER HEADER HEADER HEADER HEADER HEADE */

header {
	border-bottom: solid black 1px;
	display: flex;
	align-items: center;
	padding: 0;
	/*background: var(--headerColor);*/
	margin: 0 0 8px 0;
	line-height: 3em;
}

.logo-link {
	width: 40px;
	display: flex;
	font-size: 1em;
	align-items: center;
	font-weight: bold;
}

#logo-image{
	width: 18px;
	height: 18px;
	margin: 0 4px 0 2px;
	filter: invert(100%) sepia(0%) saturate(0%);
}

#logo-link-a {
	display: none;
	background: var(--aNiveauLogo);
	color: white;
}

#logo-link-b {
	background: var(--bNiveauLogo);
	color: white;
}

input {
	width: 139px;
	margin-left: 20px;
	height: 1.5rem;
	border-radius: 1.625rem;
	border: none;
	background: var(--searchBackgroundColor);
	padding-left: 30px;
/*	&:before {
		content: url("search-icon.svg");
	}*/
	background-image: url("search-icon.svg");
	background-size: 16px 16px;
	background-repeat: no-repeat;
	background-position: 8px 5px;
}

.menu-top-right{
	/*width: 400px;*/
	display: flex;
	margin-left: auto;
	/*justify-content: space-between;*/
	align-items: center;
}
a.menu-link {
	margin: 0 16px;
	font-weight: normal;
	/*border: solid 1px;*/
	/*padding: 0 0.5ex;*/
}

span.download-pdf-menu, span.info-menu {
	display: none;
}

.menu-icon {
	height: inherit;
	box-shadow: none;
	border: none;
	margin: 0;
	padding: 0;
}

.menu-item {
	/*height: 20px;*/
	margin: 0 2px;
	cursor: pointer;
}

.start-page #hamburger-button, .start-page #expand-button {
	display: none;
}

#hamburger-button {
	margin: 0 0 0 4px;
}

#expand-button {
	margin-left: 32px;
}

body.wide-page #expand-button {
	transform: scaleX(-1);
}


/* Search list*/
#searchElement {
	padding: 3px 0 5px 0;
}

#searchList {
	line-height: 1em;
	position: absolute;
	background: white;
	/*box-shadow: 5px 5px 5px #888;*/
	border: solid 1px var(--searchListBorder);
	z-index: 1;
	list-style-type: none;
	padding: 0.3em;
}

.active-search-element {
	background: var(--activeSearchColor);
}

#decor-header {
	display: block;
	content: '';
	margin-left: 20px;
}

#a-niveau-icon {
	width: 20px;
	height: 20px;
	background: var(--aNiveauLogo);
	color: white;
	text-align: center;
}

#a-niveau-title, #b-niveau-title {
	font-family: "tiny5", sans-serif;
	color: var(--CGAlightred);
	margin-left: 16px;
	font-size: 26px;
}

#b-niveau-title{
	color: var(--CGAlightblue);
}

a.skift-niveau {
	margin-left: 32px;
}

a#til-a-niveau {
	/*background: var(--skiftTilANiveau);
	color: white;*/
	/*border: solid 1px black;*/
}

a#til-b-niveau {
	/*background: var(--skiftTilBNiveau);
	color: white;*/
	/*border: solid 1px black;*/
}

/*a.skift-niveau:hover {
	background: var(--activeSearchColor);
	color: black;
	!*border: solid 1px black;*!
}*/

/* CONTENT CONTENT CONTENT CONTENT CONTENT CONTENT CONTENT CONTENT CONTENT */

/* hide title */
.textbody h1 {
	display: none;
}

.textbody a:link {
	color: var(--bodyLinkColor);
}

.textbody a:visited {
	color: var(--bodyLinkVisitedColor);
}

h2, h3, h4 {
	margin-top: 0.75ex;
}

h1, h2, h3, h4, h5, h6 {
	/*font-family: Creepster, 'georgia', serif;*/
	font-family: 'georgia', serif;
	font-weight: normal;
    /*font-family: "Palatino Linotype",serif;*/
    /*letter-spacing: .035rem;
    line-height: 1.2;*/
}

span.sectionnumber {
	margin-right: 0;
}

section.textbody {
	margin: 0;
}

ul {
	padding-inline-start: 2ex;
}

.alphalist ul li p, .itemize ul li p, .enumerate ul li p  {
	padding-left: 5ex;
}

.list-label {
	margin: 0 1ex 0 -3ex;
	position: absolute;
}

.image-group-bgst {
	font-size: small;
	font-family: sans-serif;
	line-height: 1.5;
	display: flex;
	flex-wrap: wrap;
}

.mini-figures > .minipage {
	flex-direction: row;
	flex-wrap: wrap;
	width: 90% !important;
}

.mini-figures > .minipage > .minipage {
	margin: 0 21px;
	align-items: center;
}

.mini-figures > .minipage > span {
	display: none !important;
}

/*.minipage-centering .center > span {
	width: 10px !important;
}*/

div.figurecaption {
	font-weight: normal;
	font-family: sans-serif;
}

.wrapped-figure .marginblock, .wrapped-figure p {
	margin-top: 0;
}

/* FRONT PAGE TOC FRONT PAGE TOC FRONT PAGE TOC FRONT PAGE TOC FRONT PAGE TOC */

.toc {
	display: flex;
	flex-wrap: wrap;
	flex-direction: column;
	height: 90vh;
	column-gap: 2ex;
	max-width: fit-content;
}

.toc a {
	padding: 0 8px;
}


.toc a:link {
	color: black;
	max-width: 300px;
}

.toc a:visited {
	color: black;
}

nav {
	font-family: sans-serif;
	font-size: 1em;
	margin-bottom: 2ex;
}

nav p {
	font-size: 14px;
	margin-bottom: 0.4ex;
	margin-top: 0.4ex;
}

.toc span.sectionnumber {
/*	width: 30px;*/
/*	text-indent: 10px;*/
	margin-right: 10px;
}

.toc a.tocchapter {
/*	text-indent: 0.5em;*/
/*	padding-right: 10px;*/
	background: var(--tocChapBackColor);
	color: white;
	line-height: 1.4;
}

.toc a.tocchapter.aniveau {
	background: var(--tocChapBackColor);
}

.toc a.tocsection.aniveau {
	color: var(--tocChapColor);
	/*background: #FFDDFF;*/
}

.toc .mayskipsec, .sidetoc .mayskipsec {
	color: var(--mayskipColor);
}

.toc .supchapter {
	color: var(--schapterColor);
}

.sidetoc .supchapter {
	color: var(--CGAgreen);
}

#autosec-3 {
	display: none;
}

.bodywithoutsidetoc .textbody {
	margin: 0;
}

/* SIDETOC SIDETOC SIDETOC SIDETOC SIDETOC SIDETOC SIDETOC SIDETOC */

div.sidetoccontainer {
	border: none;
	background: transparent;
	font-size: 1em;
	list-style: none;
	width: var(--menuWidth);
	margin: 4px 2em 0 4px;
}

.sidetoccontainer li {
	display: flex;
	align-items: baseline;
}

.sidetoccontainer button, header button {
	border: none;
	background: transparent;
	padding: 0;
	/*margin-right: 0.5em;*/
}

header button {
	height: 22px;
}

ul.sidetoccontents > p {
	display: none;
}

ul.sidetoccontents {
	margin: 0;
	/*margin: 3ex 0 0 0;*/
	padding: 0;
	line-height: 1.2;
}

#searchList a:hover {
	text-decoration: none;
}

.searchListElement {
	cursor: pointer;
}

div.sidetoctitle {
	display: none;
	font-size: 2.18em;
	text-transform: uppercase;
	color: var(--sidetocTitle);
	border: none;
	text-align: left;
}

div.sidetoctitle p {
	margin: 0;
}

nav.sidetoc li {
	margin: 0;
	padding: 1ex 0;
}

/*nav.sidetoc li.tocsection {
	padding: 0.5ex 0;
}*/

/*nav.sidetoc li.tocchapter {
	 padding: 0.5ex 0;
}*/

nav.sidetoc .aniveau a {
	color: black;
	/*background: #FFDDFF;*/
}

nav.sidetoc li.active-nav-element {
	background: var(--activeNavBackColor);
	/*display: block;*/
}

/*nav.sidetoc li.active-nav-element a {
	font-weight: bold;
}*/


/*nav.sidetoc li.tocsection {
	margin-top: 1.5ex;
}*/

.tocchapter-triangle {
	margin-right: 0.5ex;
}

.tocsection-triangle::before, .tocchapter-triangle::before {
	content: '\25BA ';
	font-size: 1.2em;
	cursor: pointer;
	font-family: "Times New Roman", Times, serif;
	color: black;
}

.tocsection-triangle {
	visibility: hidden;
}

.tocchapter-triangle.chapter-expanded::before {
	content: '\25BC ';
	font-size: 1.2em;
	cursor: pointer;
	font-family: "Times New Roman", Times, serif;
}

nav.sidetoc a {
	padding: 0 3px;
}

nav.sidetoc a.tocchapter {
	font-size: 0.9em;
}

nav.sidetoc a.tocsection {
	font-size: 0.8em;
	font-weight: lighter;
}

a.tocsection, a.tocchapter {
	color: black;
	font-weight: normal;
	margin-left: 0;
	text-indent: 0;
	display: inline-flex;
}

.start-page a.tocsection {
	font-size: small;
}

nav.sidetoc span.sectionnumber {
	margin-right: 1ex;
}

nav.sidetoc span.sectionnumber::after {
	content: '. ';
}

/* FOOTER FOOTER FOOTER FOOTER FOOTER FOOTER FOOTER FOOTER FOOTER FOOTER */

#previous-next {
	border: none;
	padding: 0;
	font-size: 1em;
	background: var(--footerColor);
	/*margin: 0 0 0 15.5em; !* menuwidth +2em *!*/
	font-family: sans-serif;
}

#previous-next a:visited{
	color: black;
}

#previous-next p {
	margin: 0 0.2em;
	display: flex;
	justify-content: space-between;
	padding: 0.2em 0;
}

#previous-next a:link, footer a:visited {
	color: var(--footerNavLinkColor);
	text-decoration: none;
}

#previous-next a:first-child::before {
	content: '\25C4 ';
	font-family: serif;
}

#previous-next a:last-child::after {
	content: ' \25BA';
}

/* TCOLORBOX TCOLORBOX TCOLORBOX TCOLORBOX TCOLORBOX TCOLORBOX */

.prerequisites {
	background: var(--prerequisitesBackColor);
	font-family: sans-serif;
}

.prerequisites-title {
	color: red;
}

.mayskip {
	background: var(--mayskipBackColor);
	padding-inline-start: 2ex;
	font-family: sans-serif;
}

.newcontentwarning {
	background: var(--newcontentwarningBackColor);
	padding-inline-start: 2ex;
	font-family: sans-serif;
}

.tcolorbox {
    border: 0 !important;
    background: transparent !important;
    border-radius: 0;
    margin: 0;
}

.tcolorbox ul {
	line-height: 1.7;
}

.tcolorboxupper > p:first-child {
	margin: 0;
}

.tcolorboxupper > p:nth-child(2) {
	margin: 0;
}

.tcolorboxlower p:first-child {
	margin-top: 0;
}

.tcolorboxlower {
	border-top: none !important;
}

.amsthmbodytheorem > ul, .amsthmbodythm > ul, .amsthmbodythmstyle > ul, .amsthmbodyexmpstyle > ul, .amsthmbodyproofstyle > ul, .amsthmbodydfnstyle > ul, .amsthmbodyrulestyle > ul, .amsthmbodydfn > ul, .exercise-class {
	padding-inline-start: 0;
	margin: 0;
}

.leftbar-title {
	font-weight: bold;
	line-height: 2em;
	font-family: sans-serif;
}

.leftbar {
	border-left: solid;
	border-left-width: 4px;
	margin: 1.5em 0;
	padding-left: 0.5em;
	padding-bottom: 1px;
	background: var(--thmDefExamExerColor);
}

.exercise {
	color: var(--exerciseColor);
}

.solution {
	color: var(--solutionColor);
	cursor: pointer;
}

.show-pointer {
	cursor: pointer;
}

.show-solution {
	background-color: var(--solutionShowColor);
}

.example {
	color: var(--exampleColor);
}

.theorem {
	color: var(--theoremColor);
}

.proof {
	color: var(--proofColor);
}

.proof {
	border-color: var(--proofBarColor);
}

.definition {
	color: var(--definitionColor);
}

.rule {
	color: var(--ruleColor);
}

/* for separate "facitliste"
.hide-solution .tcolorboxlower{
	display: none;
}*/

/*for inline solutions */
.solution {
	display: none;
}



.hidden {
	display: none !important;
}

.verb {
	font-family: monospace;
}

mjx-utext {
	display: inline !important; /*Else \verb|| will be too narrow*/
}
/*
@media handheld {
	nav.topnavigation { display:none }
	.hide-on-small {display: none; }
	.toc {
		height: 100%;
	}
}
*/

svg, img {
	max-width: 100%;
}


/* RESPONSIVE DESIGN*/

@media screen and (max-width: 37em) {
	input {margin: 0 12px}
	.download-pdf-menu {display: none; }
	#expand-button {display: none}
	#hamburger-button {display: none}
	#a-niveau-title {
		margin-left: 4px
	}
	.info-menu {display: none;}
	.toc {
		height: 100%;
	}
	span.sidetocthetitle {
		display: none;
	}
	a.skift-niveau {
		margin: 0 12px 0 12px;
	}
	.bodyandsidetoc {
		margin: 0 8px;
	}
	div.sidetoccontainer {
		width: 100%;
	}
}
/*max-width: menu + content + 3.5em */
@media screen and (max-width: 57.5em) {
	#expand-button {display: none}
	.menu-hidden #expand-button {display: inline}
}

/*max-width: content + 1em */
@media screen and (max-width: 41.5em) {
	#info-link {display: none}
	.menu-hidden #expand-button {display: none}
}

@media screen and (max-width: 50em) {
	#decor-header {display: none}
	.bodyandsidetoc {flex-direction: column}
	main.bodycontainer {width: 100%}
	nav.botnavigation { display:none }
	nav.topnavigation { display:none }
	footer {
		width: 100%;
		margin-left: 0;
	}
}

@media screen and (max-width: 26em) {
	#a-niveau-title, #b-niveau-title {display: none}
}

/* START HALLOWEEN */
/*
div.sidetoccontainer:after {
	display: block;
	content: '';
	width: 10em;
	height:150px;
	background: transparent url('decor/skeleton-pumpkin.png') no-repeat;
	background-size: contain;
}

#decor-header {
	width: 100px;
	height: 40px;
	background: transparent url('decor/ghosts.png') no-repeat;
	background-size: contain;
}

header #a-niveau-title, #b-niveau-title {
	font-family: "creepster", sans-serif;
	color: black;
}
/*
/* END HALLOWEEN




/* Christmas */
/*
.sidetoc::before {
	content:url(christmas-decor.png);
	zoom: 9%;
}

div.sidetoccontainer {
	margin-top: 0;
}
*/
/* Christmas end */
/*
header {
	background: darkgreen;
}

a.menu-link {
	color:white;
	font-family: 'Mountains Of Christmas', Georgia, serif;
	font-weight: 700;
}

#expand-icon {
	filter: invert(100%) sepia(0%) saturate(0%);
}

#hamburger-icon {
	filter: invert(100%) sepia(0%) saturate(0%);
}

#logo-link-b {
	background: darkgreen;
}

*/

/*h1, h2, h3, h4, h5, h6 {
	font-family: 'Mountains Of Christmas', Georgia, serif;
	font-weight: 700;
}*/

/* END CHRISTMAS */