body {
  
  color: white;
  background: rgb(32, 32, 32);
  font-family: monospace;
}

.center {
  text-align: center;
  width: auto;
}

h1 {
  font-size: 4em;
  font-weight: bold;
}

h2 {
  font-size: 3em;
  font-weight: bold;
}

a {

  color: green;
  
}

.container {
  margin: 0 auto;
  width: 80%;
  padding: 2em;
  background: rgba(0, 0, 0, 0.5);
}

.paddingx2 {
  padding: 4em;
}

.paddingh8 {
  padding-left: 8em;
  padding-right: 8em;
}

.main {
  display: flex;
  gap: 1em;
  justify-content: center;
}

.main > div:first-child {
  width: 10%;
  border-right-width: 1px;
  border-right-style: solid;
  border-right-color: white;
  padding: 2em;
}
.main > div:last-child {

  padding: 2em;
  width: 100%;

}

.justifycenter {
  display: flex;
  justify-content: center;
  gap: 1em;
}

.icon {
  height: 32px;
  /* round the corners */
  border-radius: 10%;
}

.icon2x {
  height: 64px;
  /* round the corners */
  border-radius: 10%;
}

.code {
  outline: 1px solid white;
  margin-top: 2em;
  margin-bottom: 2em;
  padding: 1em;
  border-radius: 10px;
  font-family: 'Courier New', Courier, monospace;
}

.tgreen {
  color: green;
}
.tblue {
  color: blue;
}
.tcomment {
  color: rgba(255, 255, 255, 0.25);
}

.shadow {
  box-shadow: 0 0 10px rgba(0, 0, 0, 0.5);
}

latex-js {
  display: inline-block;
  width: 100%;
}

.hljs {
  display: block;
  overflow-x: auto;
  padding: 0.5em;
  border-radius: 10px;
  box-shadow: 0 0 10px rgba(0, 0, 0, 0.5);
  margin-top: 2em;
  margin-bottom: 2em;
}

h3 {
  font-size: 2em;
  font-weight: bold;

  margin-top: 3em;
  margin-bottom: 1em;
}