@font-face {
	font-family: 'Fira Code';
	src: url('fonts/FiraCode-Light.woff2') format('woff2'),
		 url("fonts/FiraCode-Light.woff") format("woff");
	font-weight: 300;
	font-style: normal;
}

@font-face {
  font-family: 'Fira Code';
  src: url('fonts/FiraCode-Regular.woff2') format('woff2'),
  	   url("fonts/FiraCode-Regular.woff") format("woff");
  font-weight: 400;
  font-style: normal;
}

@font-face {
  font-family: 'Fira Code';
  src: url('fonts/FiraCode-Medium.woff2') format('woff2'),
  	   url("fonts/FiraCode-Medium.woff") format("woff");
  font-weight: 500;
  font-style: normal;
}

@font-face {
  font-family: 'Fira Code';
  src: url('fonts/FiraCode-SemiBold.woff2') format('woff2'),
  	   url("fonts/FiraCode-SemiBold.woff") format("woff");
  font-weight: 600;
  font-style: normal;
}

@font-face {
  font-family: 'Fira Code';
  src: url('fonts/FiraCode-Bold.woff2') format('woff2'),
  	   url("fonts/FiraCode-Bold.woff") format("woff");
  font-weight: 700;
  font-style: normal;
}

html {
    color: #1a1a1a;
    height: 100%;
    margin: 0 auto;
    background-color: #F6F8FA;
}

body {
	font: 14px/1.5em "Fira Code";
	font-weight: 300;

    margin-left: auto;
    margin-right: auto;

    padding: 0 40px;
    padding-top: 1.4em;
    /* padding-bottom: 2em; */

    min-height: 100%;
    max-width: 50em;
}

b {
	font-weight: 500;
}

h1, h2 {
	font-weight: 300;
}

hr {
	border: none;
	height: 1px;
	color: #000000;
	background-color: #000000;
}

a {
    text-decoration: none;
	color: #FF6347;
}

a:hover {
	color: #FFFFFF;
    /* border: 1px solid #FF6347; */
	background-color: #FF6347;
}

ul {
    padding-left: 1.7em;
    margin-top: 1em;
}

li > ol, li > ul {
    margin-top: 0;
}

#paper-title, #paper-downloads {
	font-weight: 500;
}


#paper-authors {
	font-size: smaller;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
}


details {
  padding-top: 0.5em;
}

/*
summary  {
  list-style: none;
}

summary::-webkit-details-marker {
  display: none;
}

summary {
  content: "\25BC";
  transition: 0.2s;
}
*/

summary {
	display: flex;
	font-weight: 400;
}

summary::before {
	content: '|>';
	margin-right: .75em;
	transition: 0.2s;
}

details[open] > summary::before {
	transform: rotate(90deg);
}

img {
	max-width: 100%;
	max-height: 100%;
	border: none;
	-webkit-filter: drop-shadow(1px 1px 0 black)
			drop-shadow(-1px 1px 0 black)
			drop-shadow(1px -1px 0 black)
			drop-shadow(-1px -1px 0 black);

	filter: drop-shadow(1px 1px 0 black)
		drop-shadow(-1px 1px 0 black)
		drop-shadow(1px -1px 0 black)
		drop-shadow(-1px -1px 0 black);
}

video {
	max-width: 100%;
	max-height: 100%;
	border:1px solid #000000;
}

#terminal {
	margin-left: 4em;
	margin-right: 4em;
	padding: 1em;
	background-color: black;
	color: #ffffff;
	border-radius: 8px;
	text-align: left;
	white-space: pre;
}

#ascii {
	margin-left: 2em;
	margin-right: 2em;
	padding: 1em;
	/* background-color: black;
	color: #ffffff;
	border-radius: 8px; */
	white-space: pre;
	text-align: left;
}

#container {
	text-align: justify;
	text-justify: inter-word;
}

code {
	background-color: lightgrey;
	border-radius: 4px;
	padding: 2px;
	font-size: 90%;
}