html {
  overflow-y: scroll;
  /* font-size: 90%; */
}

html, body  {
    margin: 0;
    padding: 0;
}

body  {
    font-family: Arial, Helvetica,  sans-serif;
    line-height: 1.6rem;
}


p  {
    margin: 0 0 2rem;
}


#wrapper {
    padding-bottom: 1ex;
    padding-top: 1em;
    max-width: 65em;    
    background-color: #FFFFFF; 
    margin-left: 3em;
    margin-top: 2em;
}

#checkcode {
    float: right;
    text-align: center; 
    margin-bottom: 1em;
    margin-right: 1em;
}

#checkcode img {
    border-style:none; 
    margin-left: 2em;
    width:88px;
    height:31px
}

/* Header */
.header  {
    border-bottom: 2px solid #ddd; /* .color-primary-2 */ 
}

body div.homepage {
    background-image: url(../images/logo.png);
    background-position: right top;
    background-repeat: no-repeat;
    background-size: auto 100%;
}

.header h1  {
    font-size: 2.2rem;
    margin: 0 0 3px;
    padding: 1.7rem 1.28rem 0;/* 24px 18px 0; */
}

.header h1 a {
    font-size: inherit;
}

.header p  {
    padding: 0 1.28rem;
    font-size: 1rem;
    font-weight: bold;
}

/* .header a  { */
/*     color: #004b6f; */
/* } */

/* .header a:hover { */
/*     color: #337810; */
/* } */

a:link    { text-decoration:none; }
a:visited { text-decoration:none; }
a:hover   { text-decoration:underline; }
a:active  { text-decoration:underline; }

a.silent:link    { text-decoration:none; }
a.silent:visited { text-decoration:none; }
a.silent:hover   { text-decoration:underline; }
a.silent:active  { text-decoration:underline; }

/* Content Style */
.content  {
    border-bottom: 1px solid #ccc;
    margin: 2em 3em;
    max-width: 55em;
}

.content p  {
    padding-right: 18px;
}

/* .refs { */
/*     visibility: hidden; */
/* } */

/* Content Positioning & Size */
.content  {
    padding-top: 1px;
    padding-left: 10px;
    color: #000000;
    box-shadow: 5px 5px 5px #808080;
}

td {
    font-size: 1rem;
}

/* Float for language */
#fl_right  {
    margin-top: 2rem;
    float: right;
    text-align: center; 
    background-color: white;
}

#fl_right > a > img {
    border: 2px solid; 
    width: 3.5em;
    height: 2.38em;
}

#go_up  {
    position: fixed;
    text-align: center; 
    margin-bottom: 1em;
    margin-right: 5em;
    bottom: 0;
    right: 0;
    padding: 1ex;
    background-color: white;
    border: 1px solid #ddd;
    box-shadow: 0px -3px 5px #808080;
}

em {
    text-align: right;
}

#sponsors {
    margin-top: 4em;
    margin-left: 3em;
}

#sponsors img {
    width: 800px;
    height: 120px
}

/* Navigation */
.nav {
/*    max-width: 32.6em;*/
    margin-top: 3px;
}

.nav, .nav-tabs {
    display:inline-block;
}

.nav ul {
    border-bottom-color: #bbbbbb;
    margin: 0;
    list-style: none;
    display: block;
    background-color: #FFFFFF;
    margin-left: 6em;
    padding-left: 0ex;
    padding-right: 0;
    padding-bottom: 0ex;
    box-shadow: 5px 0px 5px #808080;
}

.nav li {
    display: inline;
}

.nav-tabs {
    border-bottom: 1px solid #ddd;
}

.nav li a {
    border: 1px solid;
    font-size: 1.1rem;
    padding: 5px 3ex 2px 3ex;
    background-color: #FFFFFF;
    border-color: #dddddd;
    border-bottom-color: #bbbbbb;
}
.nav li.active a {
    background: #fafafa;
    border-top-color: #bbbbbb;
    border-left-color: #bbbbbb;
    border-right-color: #bbbbbb;
   /* border-bottom-color: #ffffff; */
}
.nav li a:hover {
    background-color: #f7f7f7;
}

.nav li.active a:hover {
    text-decoration:none;
    background: #fafafa;
}

table {
    font: inherit;
}

.references td, .references td.bibtexnumber {
    font-size: 1rem;
}

.references blockquote {
    font-size: .96rem;
}

body {
    color: #333; /*.color-primary-4 */
}

h2  {
    color: #333;  /*.color-primary-4 */
}

a, a.mudo:hover  {
    color: #337810; /* .color-secondary-2-3 */
}

a.mudo  {
    color: inherit; /* .color-secondary-2-3 */
}

.homepage {
    background-image: url(../images/UA.png);
}

.header  {
    background-color: #eee; /*.color-secondary-1-2*/
}

.header h1  {
    color: #004b6f;  /* .color-primary-3 */
}

.header p  {
    color: #666;    /* .color-secondary-2-4 ??? */
}

.header a  {
    color: #337810;  /* .color-secondary-2-3 */
}

.header a.silent  {
    color: #004b6f;  /* .color-primary-3 */
}

#wrapper {
    margin-top: 7ex;
    padding-top: 0ex;
    box-shadow: 0px 0px 15px 10px #FFFFFF;
}

/* .container { */
/*     background-image: url(../images/semilattices.png); */
/*     background-position: right top; */
/*     background-repeat: repeat; */
/* } */

body {
    background-image: url(../images/semilattices.png);
    background-position: right top;
    background-repeat: repeat;
    /* overflow: hidden; */
}

.content  {
    border-bottom: 1px solid #ccc;
    box-shadow: none;
}

#sponsors {
    border: none;
}

img.center {
    display: block;
    padding: 2em;
    margin-left: auto;
    margin-right: auto;
}

.badge-tag {
    padding: .4em .8em .4em .4em;
    margin: 0 3px 3px 0;
    color: #3e4248;
    line-height: 1;
    text-decoration: none;
    white-space: nowrap;
    font-size: 12px;
    background-color: #e3e5e7;
    border-color: #c6cacf;
    border: 1px solid;
    display: inline-block;
    border-radius: 4px;
}

.badge3 {
    box-sizing: inherit;
    background-position: -60px -400px;
    background-image: url(../images/sprites.svg);
    background-size: initial;
    background-repeat: no-repeat;
    overflow: hidden;
    display: inline-block;
    line-height: inherit;
    vertical-align: text-bottom;
    width: 14px;
    height: 14px;
}

a.badge-tag:hover, a.badge-tag:hover { 
    text-decoration:none;
    color: #337810;    
}

img.flair {
    content: url("https://stackexchange.com/users/flair/3631545.png?theme=clean");
    width: 208px;
    height: 58px;
}

img.valid {
    width: 88px;
    height: 31px;
}

@media (max-aspect-ratio: 3/4) {
    .header h1 {
	font-size: 3em;
	line-height: 4rem;
    }
    .header h1 a.silent {
	font-size: 1.11em;
	line-height: 4rem;
    }
    .header p {
	font-size: 2.5rem;
	line-height: 3rem;
    }
    td {
	font-size: 2.5rem;
	line-height: 3rem;
    }
    .references td.bibtexnumber {
	font-size: 2.3rem;
    }
    .nav li a {
	font-size: 2.5rem;
	line-height: 4.4rem;
    }
    h2 {
	margin-bottom: 2rem;
	font-size: 2rem;
	line-height: 2.5rem;
    }
    h3 {
	margin-bottom: 2rem;
	font-size: 1.7rem;
	line-height: 2.2rem;
    }
    body {
	line-height: 2rem;
    }
    .badge-tag {
	font-size: 2rem;
	line-height: 2.5rem;
    }
    .badge3 {
	background-position: -3.5em -24.3em;
	background-size: 60rem;
	width: 2rem;
	height: 2rem;
    }
    img.flair {
	width: 25em;
	height: 6.97em;
    }
    img.valid {
	width: 20em;
	height: 7.05em;
    }
    #go_up {
	font-size: 3em;
	margin-bottom: 1em;
	margin-right: 1.5em;
    }
    #fl_right {
	font-size: 2em;
    }
    mjx-container[jax="SVG"] {
	font-size: 2.7em;
    }
    mjx-container[jax="SVG"][display="true"] {
	overflow-x: auto;
	overflow-y: hidden;
    }
}

@media (prefers-color-scheme: dark) {
    .header h1  {
	color: #80CbEf;  /* .color-primary-3 */
    }
    .header {
	background-color: #555555;
	border-bottom: 2px solid #000; /* .color-primary-2 */ 
    }
    html, body, #wrapper, .content, h2, h3, h4, nav.ul, #fl_right {
	color: #E8E8E8;
	background-color: #333333;
	box-shadow: none;
    }
    a, a.mudo:hover, .nav li a, .header a, .header a.silent  {
	color: #83AA80; /* .color-secondary-2-3 */
    }
    .nav li a, .nav ul, #go_up {
	background-color: #444444;
    }
    .nav li.active a {
	text-decoration: none;
	background: #555555;
    }
    .badge-tag {
	color: #F0E0B0
    }
    .nav li a:hover, .badge-tag, img.center {
	background-color: #606060;
    }
    img.flair {
	content: url("https://stackexchange.com/users/flair/3631545.png?theme=dark");
    }
}

span.quote {
    display: inline-block;
    width: 70%;
    font-style: italic;
    font-size: smaller;
}

.quote p {
    margin-bottom: 1rem;
}
/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH    { font-family: "Century Schoolbook", serif; }
.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
SPAN.MATH { display:inline-block; }	/* don't stretch spaces inside eqn */

DIV.author_info { text-align:center; } /* latex centers author */

.LEFT    { text-align:left; }
.FLOATLEFT    { float:left; }
.CENTER  { text-align:center; }
.CENTER > * { margin:auto; }
.RIGHT   { text-align:right; }
.FLOATRIGHT   { float:right; }
.TOP     { vertical-align:top; }
.MIDDLE  { vertical-align:middle; }
.BOTTOM  { vertical-align:bottom; }

IMG.LEFT    { float:left; }
IMG.RIGHT   { float:right; }
IMG.TOP     { vertical-align:top; }
IMG.BOTTOM  { vertical-align:baseline; }

/* captions for latex tables and figures appear at bottom */
CAPTION { caption-side:bottom; }

DL.COMPACT > dt { float:left; padding-right: 1em; }


/* implement both fixed-size and relative sizes */
.XTINY		{ font-size : xx-small }
.TINY		{ font-size : x-small  }
.SCRIPTSIZE	{ font-size : smaller  }
.FOOTNOTESIZE	{ font-size : small    }
.SMALL		{ font-size : small    }
.LARGE		{ font-size : large }
.XLARGE		{ font-size : large    }
.XXLARGE		{ font-size : x-large  }
.HUGE		{ font-size : larger   }
.XHUGE		{ font-size : xx-large }

/* heading styles */
H1		{  }
H2		{  }
H3		{  }
H4		{  }
H5		{  }

/* mathematics styles */
DIV.displaymath { text-align:center; margin-top:1em; margin-bottom:1em; }
	/* math displays: margins for \abovedisplayskip \belowdisplayskip */
TD.eqno		{ width:0; }	/* equation-number cells */
TD.lfill	{ text-align:left;  width:50%; }
TD.rfill	{ text-align:right; width:50%; }
TABLE.PAD TD	{ padding:3px; }
TABLE.BORDER TD	{ border:1px solid black; }
TABLE.equation	{ width:100%; }	/* place eq nos at right/left edge */
TABLE.equation > *	{ vertical-align:baseline; }
TABLE.equation TD	{ white-space:nowrap; padding-bottom:5px; }
TABLE		{ border-collapse: collapse; }

/* document-specific styles come next */
DIV.center		{   }
DIV.navigation		{   }
DIV.small		{   }
SPAN.arabic		{   }
SPAN.textit		{ font-style: italic  }
SPAN.texttt		{ font-family: monospace  }