@charset "utf-8";

* {
  font-family: "Gill Sans MT", "Myriad Pro", "DejaVu Sans Condensed", Helvetica, Arial, "sans-serif"
}

body {
  background-color: lightgray;
  text-align: center;
}

body div.main img.thumbnail {
  width: 300px;
  height: 300px;
  object-fit: cover;
  border-radius: 20px;
  border: solid black 2px;
  box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.4);
}

body div.main img.thumbnail:hover {
  filter: brightness(110%);
}
	
body div.main img.full {
  width: 60%;
  border-radius: 20px;
  box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.4);
}

body div.main table#source th {
	background-color: black;
	color: white;
	margin: 0;
	padding: 0;
}

body div.main table#source td {
	text-align: left;
}

body div.main div#output {
	text-align: left;
}

span.variable {
	border: solid black 1px;
	background-color: lightyellow;
	padding-left: 2px;
	padding-right: 2px;
}

/* The navigation menu bar */
.sidenav {
  height: 100%; 
  width: 160px;
  position: fixed;
  z-index: 1;
  top: 0;
  left: 0;
  background-color: #434544; 
  overflow-x: hidden;
  padding-top: 20px;
}
.sidenav h1 {
  padding: 6px 8px 6px 20px;
  text-decoration: none;
  color: lightgrey;
  display: block;
}

/* The navigation menu links */
.sidenav a {
  padding: 6px 8px 6px 20px;
  text-decoration: none;
  font-size: 18px;
  color: lightgrey;
  display: block;
}

.sidenav a:hover {
  color: white;
  filter: brightness(110%)
}

.sidenav .logo {
	width: 60%;
}

.main {
  margin-left: 160px;
  padding: 0px 10px;
  align-content: center;
  max-width: 80%;
}

@media screen and (max-height: 450px) {
  .sidenav {padding-top: 15px;}
  .sidenav a {font-size: 18px;}
}

div.desc {
  padding: 160px;
  text-align: center;
}