@charset "UTF-8";
html {
	font-size: 62.5%;
	height: 100%;
}

body {
	top: 0;
	background-color: white;
	height: 100%;
	margin-top: 0;
}

/*--------Header---------*/

h1 {
	font-size: 2.2rem;
	font-family: 'Noto Serif JP', serif;
}

.menu {
	width: 95%;
	margin: 0 0 0 auto;
	padding-bottom: 2rem;
	/*border-left: 3px solid black;*/
}

p {
	margin-left: 1rem;
	font-size: 1.7rem;
	font-family: 'Noto Sans JP', sans-serif;
	text-align: left;
}

header {
	height: 100%;
}

.terms {
	position: relative;
	font-family: 'Roboto', sans-serif;
}

.terms li {
	margin-bottom: 3%;
	line-height: 3.0;
  padding: 0.5em 0;
	font-size: 2.5rem;
	list-style-type: none!important;
}

.terns li::before {
  font-family: "Font Awesome 5 Free";
  content: "\f0da";
  position: absolute;
  color: black;
	font-weight: 900;
}

.fa-li {
	left: -1.5em!important;
}

.terms li a {
	text-decoration: none;
	color: #2f2d40;
}

/*
footer {
	width: 100%;
	height: 80px;
	position: absolute;
	bottom: 0;
	background-color: #FFFFFF;
	font-family: 'Roboto', sans-serif;
}
*/

.theorem {
    position: relative;
    margin: 4em 0;
    padding: 0.5em 1em;
    border: solid 3px #f2aace;
}
.theorem .title {
    position: absolute;
    display: inline-block;
    top: -27px;
    left: -3px;
    padding: 0 9px;
    height: 25px;
    line-height: 25px;
    font-size: 17px;
    background: #f2aace;
    color: #ffffff;
    font-weight: bold;
    border-radius: 5px 5px 0 0;
}
.theorem p {
    margin: 0;
    padding: 0;
}

.def {
    position: relative;
    margin: 4em 0;
    padding: 0.5em 1em;
    border: solid 3px #9bd4eb;
}
.def .title {
    position: absolute;
    display: inline-block;
    top: -27px;
    left: -3px;
    padding: 0 9px;
    height: 25px;
    line-height: 25px;
    font-size: 17px;
    background: #9bd4eb;
    color: #ffffff;
    font-weight: bold;
    border-radius: 5px 5px 0 0;
}
.def p {
    margin: 0;
    padding: 0;
}

.proof {
    position: relative;
    margin: 2em 0;
    padding: 25px 10px 7px;
    border-left: solid 3px #f2aace;
}
.proof .title {
    position: absolute;
    display: inline-block;
    top: -2px;
    left: -2px;
    padding: 0 9px;
    height: 25px;
    line-height: 25px;
    font-size: 17px;
    background: #f2aace;
    color: #ffffff;
    font-weight: bold;
}
.proof p {
    margin: 0;
    padding: 0;
}

.prev {
	position: relative;
	display: block;
	width: 10%;
	font-size: 1.5em;
  font-weight: 500;
  margin: 80px auto;
  padding: 0.25em 0;
  text-align: center;
  text-decoration: none;
  color: #E5BCDA;
}

.prev:before {
	 position: absolute;
  content: '';
  width: 100%;
  height: 1px;
  top:100%;
  left: 0;
  background:#E5BCDA;
  transition: .2s;
}

.prev:hover:before {
  top: -webkit-calc(100% - 3px);
  top: calc(100% - 3px);
}