/* Fonts */

@font-face{
  font-family: "High Speed";
  src: url('fonts/hs.otf');
}

@font-face {
  font-family: "Computer Modern";
  src: url('fonts/cmunss.otf');
}

/* Main */

*{
  margin: 0;
  padding: 0;
}

body{
  font-family: "Computer Modern";
  font-size: 1rem;
}

.inner_main{
  width: 1000px;
  margin: 20px auto;
}

p{
  margin: 20px auto;
  padding: 0 10px;
}

.theorem, .lemma, .corollary, .definition, .example, .axiom{
  background-color: #E0E0E0;
  border-radius: 5px;
  margin: 20px 0;
  padding-bottom: 1px;
}

.theorem p, .lemma p, .corollary p, .definition p, .example p, .axiom p, .proof p{
  margin: 0 auto;
  padding-top: 5px;
  padding-bottom: 5px;
}

.theorem, .lemma, .corollary{
  border-left: 2px solid red;
}

.definition{
  border-left: 2px solid blue;
}

.example{
  border-left: 2px solid purple;
}

.axiom{
  border-left: 2px solid green;
}

.proof{
  background-color: white;
  border-left: 2px solid orange;
  border-radius: 5px;
  margin: 10px;
}

.hide{
  display: none;
}

.inline{
  display: inline-block;
}

.display{
  display: block;
  overflow-x: scroll;
  overflow-y: hidden;
  white-space: nowrap;
}

#proof_button{
  position: fixed;
  top: 100px;
  right: 20px;
  width: 200px;
}

@media screen and (max-width: 1100px){
  .inner_main{
    width: 90%;
  }
}

@media screen and (max-width: 600px){

}

@media print{
  #proof_button{
    display: none;
  }
}

/* Header */

.header{
  z-index: 1;
  position: sticky;
  top: 0;
  width: 100%;
  height: 80px;
  display: block;
  background-color: #202020;
}

.inner_header{
  width: 1000px;
  height: 100%;
  display: block;
  margin: 0 auto;
}

@media screen and (max-width: 1100px){
  .inner_header{
    width: 90%;
  }
}

@media screen and (max-width: 600px){

}

@media print{
  .header{
    display: none;
  }
}

/* Logo and Nameplate */

.logo_container, .nameplate_container{
  height: 100%;
  display: table;
  float: left;
  margin-right: 20px;
}

.logo, .nameplate{
  display: table-cell;
  vertical-align: middle;
  position: relative;
}

.circle{
  width: 60px;
  height: 60px;
  border-radius: 50%;
  background-color: white;
  z-index: 0;
}

.logo img{
  height: 40px;
  position: absolute;
  z-index: 1;
  top: 20px;
  left: 5px;
}

.nameplate a{
  height: 100%;
  color: white;
  text-decoration: none;
  font-family: "High Speed";
  font-size: 2rem;
}

@media screen and (max-width: 1100px){

}

@media screen and (max-width: 600px){
  .circle{
    width: 30px;
    height: 30px;
  }

  .logo img{
    height: 20px;
    top: 30px;
    left: 2px;
  }

  .nameplate a{
    font-size: 1rem;
  }
}

/* Navigation */

.navigation{
  float: right;
  height: 100%;
  font-family: "Computer Modern", serif;
  font-size: 1.5rem;
}

.navigation li{
  height: 100%;
  display: table;
  float: left;
  padding-right: 20px;
}

.navigation li:last-child{
  padding-right: 0;
}

.navigation li a{
  display: table-cell;
  vertical-align: middle;
  color: white;
  text-decoration: none;
}

.toggle-menu{
  display: none;
}

@media screen and (max-width: 1100px){
  .navigation .inactive{
    display: none;
  }

  .navigation{
    position: absolute;
    top: 80px;
    right: 0;
  }

  .navigation li{
    padding-right: 0;
    width: 100%;
    float: none;
    background-color: #202020;
  }

  .navigation li a{
    padding: 0 20px;
    text-align: right;
  }

  .toggle-menu{
    width: 50px;
    height: 100%;
    display: table;
    float: right;
  }

  .toggle-menu a{
    display: table-cell;
    vertical-align: middle;
  }

  .toggle-menu-line{
    display: block;
    width: 50px;
    height: 10px;
    margin: 7px 0px;
    border-radius: 10%;
    background-color: white;
  }
}

@media screen and (max-width: 600px){
  .toggle-menu{
    width: 25px;
  }

  .toggle-menu-line{
    width: 25px;
    height: 5px;
    margin: 4px 0px;
  }
}

/* 404 */

.j404{
  margin-top: 100px;
  text-align: center;
}