hr {
  border: none;
  height: 1px;
  background-color: black;
}
pre {
  background-color: #000;
  margin-top: 1em;
  margin-bottom: 1em;
  padding: 1em;
  font-size: 1em !important;
  font-family: Consolas, Menlo, Monaco, monospace !important;
  color: #0f0;
}
.paula {
	color: #f80;
}
.img_center {
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 50%;
}
body {
  margin: 0;
  padding: 0;
  height: 100%;
  width: 100%;
  line-height: 1.5;
  
  
  font-family: "Fira Sans", Verdana, Geneva, sans-serif;
  color: black;
  
  background-color: #ede6d9;
  font-size: 1em !important;
}
a:link {
  color: black;
}
a:visited {
  color: black;
}
a:hover {
  color: black;
}
a:active {
  color: black;
}
.light {
}
.doc {
  font-family: "Fira Sans", Verdana, Geneva, sans-serif;
  font-size: 1em !important;
  text-align: left;
  margin: 0em;
  padding: 1em;
  color: black;
}
.dark {
  font-family: "Fira Sans", Verdana, Geneva, sans-serif;
  font-size: 1em !important;
  text-align: left;
  margin: 0em;
  padding: 1em;
  color: #888;
}
.main {
  max-width: 40em;
}
.element {
  display: inline-block;
  vertical-align: top;
  padding: 1em;
  /*border: 1em solid #000; /* Solid outline */
  /*border-radius: 1em; /* Rounded corners */
  margin: 1em;
  max-width: 30em;
  
  font-family: "Fira Sans", Verdana, Geneva, sans-serif;
  font-size: 1em !important;
  text-align: left;
  margin: 0em;
  padding: 2em;
}
.poster {
  width: 100%
  /*max-width: 5in;*/
}
.wide_pic {
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 100%;
  margin-top: 3em;
  margin-bottom: 3em;
}
.small_pic {
  display: block;
  margin-left: auto;
  margin-right: auto;
  margin-top: 3em;
  margin-bottom: 3em;
}
.subtitle {
  font-size: 1.75em !important;
  /*color: rgb(255,170,20);*/
  color: rgb(200,70,70);
}
.intro {
  background-color:  rgb(250, 250, 250);
  padding: 20px;
  font-family: "Fira Sans", Verdana, Geneva, sans-serif;
  font-size: 1.25em !important;
  /*color: rgb(200,70,70);*/
  color: rgb(128,128,128);
}
.biglink {
  text-decoration: none; /* Remove underline */
  color: rgb(200,70,70); /* Link color */
  padding: 10px; /* Space inside the border */
  border: 2px solid rgb(200,70,70); /* Border around the link */
  border-radius: 5px; /* Rounded corners (optional) */
  display: block; /* Ensure the box wraps around the text */
  width=100%;
  height=100%;
  text-align: center;
}

/* Hover effect */
.biglink:hover {
	background-color: rgb(250, 250, 250); /* Background color on hover */
	/*color: #0056b3; /* Text color on hover */
}
.title {
  font-family: "Fira Sans", Verdana, Geneva, sans-serif;
  font-size: 2em !important;
  color: black;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  text-align: left;
}
h1 {
  font-family: "Fira Sans", Verdana, Geneva, sans-serif;
  color: black;
  border-top: 1px solid black; /* Line on top of the header */
  /*border-bottom: 1px solid #fff; /* Line on bottom of the header */
  margin-top: 0em;
  margin-bottom: 1em;
  font-size: 3em;
  padding-left: 0.5em;
  text-align: left;
}
h2,h3,h4,h5,h6 {
  font-family: "Fira Sans", Verdana, Geneva, sans-serif;
  color: black;
  border-top: 1px solid black; /* Line on top of the header */
  /*border-bottom: 1px solid #ccc; /* Line on bottom of the header */
  margin-top: 1.5em;
  margin-bottom: 1em;
  margin-left: 0em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
}
h2 { font-size: 2.0em !important; }
h3 { font-size: 1.8em !important; }
h4 { font-size: 1.6em !important; }
h5 { font-size: 1.4em !important; }
h6 { font-size: 1.2em !important; }

.infobox{
  background-color:#e0ddff;
  padding: 1em;
  font-size: 1em;
}
.caption {
  font-style: italic;
  font-size: 0.9em;
  color: #888;
}