:root {
    --header-height: 100px;
    --header-max-width: 1000px;
    --header-title-font-size: 30px;
    --header-navbar-font-size: 18px;
    --icon-size: 30px;
    --line-height: 50px;
    --padding-horizontal: 25px;
    --padding-vertical: 25px;
    --background: whitesmoke;
    --color: #333333;
    --hover-color: gray;
}

* {
    /* margin: 0; */
    background: var(--background);
    color: var(--color);
    font-style: normal;
    /* padding: 0; */
    /* box-sizing: border-box; */
}

html, body {
    background: var(--background);
    color: var(--color);
}


.header {
    /* overflow: hidden; */
    position: relative;
    max-width: var(--header-max-width);
    margin-left: auto;
    margin-right: auto;
    padding-left: var(--padding-horizontal);
    padding-right: var(--padding-horizontal);
    /* height: 100px; */
    background: var(--background);
}

.header a {
    color: var(--color);
    text-decoration: none;
}

.header a:hover {
    color: var(--color);
    text-decoration: underline;
}


.site-name {
    display: inline-block;
    font-size: var(--header-title-font-size);
    line-height: var(--header-height);
}

.right-img {
 float: right;
 padding: 0pt 0pt 0pt 5pt;
 text-padding: 0pt 0pt 0pt 0pt;
 text-align: justify;
}


.left-img {
 float: left;
 padding: 0pt 20pt 0pt 0pt;
 text-padding: 0pt 0pt 0pt 0pt;
 text-align: justify;
}




@media (max-width: 850px) {
    .navbar {
	display: none;
    }

    .hamburger #myLinks {
	display: none;
    }

    .hamburger a.icon {
	font-size: var(--icon-size);
	position: absolute;
	top: calc(0.5*var(--header-height) - 0.6*var(--icon-size));
	right: 0;
	padding-right: var(--padding-horizontal);
    }


    .menu {
	padding-bottom: var(--padding-horizontal);
    }

    .menu a {
	text-decoration: font;
	none-size: var(--header-navbar-font-size);
	display: block;
	line-height: 50px;
    }

    .menu a:hover {
	color: var(--hover-color);
    }

}

@media (min-width: 850px) {
    .menu a {
	display: none;
    }

    .hamburger {
	display: none;
    }

    .hamburger #myLinks {
	display: none;
    }

    .navbar {
	float: right;
	width: 500px;
	display: flex;
	justify-content: space-between;
	position: relative;
	top: calc(0.5*var(--header-height) - 0.6*var(--icon-size));
	/* right: 5px; */
    }

    .navbar a {
	text-decoration: none;
	display: inline-block;
	margin: 3pt;
    }

    .navbar a:hover {
	color: var(--hover-color);
    }


}

/* Banner image */
.banner_container {
    max-width: var(--header-max-width);
    margin-left: auto;
    margin-right: auto;
    padding-left: var(--padding-horizontal);
    padding-right: var(--padding-horizontal);
}

.banner_container img {
    max-width: 100%;
    height: auto;
    display: block;
    margin-left: auto;
    margin-right: auto;
}

/* Article */
.content {
    margin-left: auto;
    margin-right: auto;
    max-width: 900px;
    padding-top: var(--padding-vertical);
    padding-bottom: var(--padding-vertical);
    padding-left: var(--padding-horizontal);
    padding-right: var(--padding-horizontal);
}

.content a{
    color: #4099FF;
}

.content a:hover{
    color:  #4099FF;
    text-decoration: underline;
}

.content a:visited{
    color: #4099AA;
}

.content a:visited:hover{
    color: #4099AA;
    text-decoration: underline;
}


i, em {
    font-style: italic;
}


/* Latex */

.latex {
  overflow: visible; /* Prevents content clipping */
}

/* Ensure all MathJax containers do not clip content */
.mathjax-container {
  overflow: visible !important;
}

/* Ensure MathJax spans allow proper rendering */
.MathJax {
  overflow: visible !important;
  display: inline-block; /* Prevent constraints */
}


/* Footer */
hr {
    width: 100%;
    margin-left:auto;
    margin-right:auto;
    border: none;
    height: 1.5px;
    color: var(--color);
    background-color: var(--color);
}

.footer {
    max-width: 900px;
    color: var(--color);
    margin-left: auto;
    margin-right: auto;
    /* padding-top: var(--padding-vertical); */
    padding-bottom: var(--padding-vertical);
    padding-left: var(--padding-horizontal);
    padding-right: var(--padding-horizontal);
    font-size: 12px;
    text-align: center;
}

.fa {
    text-decoration: none;
}

.src {
    border: 1px solid var(--color);
    padding-top: 10px;
    padding-bottom: 10px;
    padding-left: var(--padding-horizontal);
    padding-right: var(--padding-horizontal);
    overflow: scroll;
}

table {
    /* width: 100%; */
    text-align: left;
    border-top: 1px solid var(--color);
    border-top-width: 2px;
    border-collapse: collapse;
    margin: 0 0 1em 0;
    caption-side: bottom;
    margin-left:auto;
    margin-right:auto;
    font-size: 14px;
}

caption, td, th {
    padding: 0.3em;
}

caption {
    padding-top: 1em;
}

tbody {
    border-top: 1px solid var(--color);
    border-bottom: 1px solid var(--color);
    border-bottom-width: 2px;
}

tbody th, tfoot th {
    border: 0;
}

th.name {
    width: 25%;
}

th.location {
    width: 20%;
}

tfoot {
    text-align: center;
    color: ; #555;
    font-size: 0.8em;
}

/* fix header links */
.content h1 a,
.content h2 a,
.content h3 a,
.content h4 a,
.content h5 a,
.content h6 a  {
    color:  var(--color);
    text-decoration: none;
}


.content h1 a:hover,
.content h2 a:hover,
.content h3 a:hover,
.content h4 a:hover,
.content h5 a:hover,
.content h6 a:hover {
    color: var(--color);
    text-decoration: underline;
}

.content h1 a:visited,
.content h2 a:visited,
.content h3 a:visited,
.content h4 a:visited,
.content h5 a:visited,
.content h6 a:visited {
    color:  var(--color);
}
/* end fix */

/* Dark Mode */
.dark-mode {
    --background: #121212;
    --color: #909090;
    --hover-color: #7b7b7b;
}