/* Custom mario font definition : */
@font-face{
  font-family: "Mario Extended";
  src: url("../fonts/MarioFontExtended.otf") format("opentype");
}


body {
	font-family: 'Mario Extended', sans-serif;
	background-color: #33A8FF;
}

main {
	text-align: center;
}

#boxjaune {
	display: inline-block;
	background-color: #FFDC00;
	padding: 10px;
	box-shadow: 10px 10px 15px 5px rgba(0,0,0,0.61);
	border: 3px solid black;
	margin: 40px;
	font-size: 30px;
}

#title_in_box {
	padding: 25px;
	color: black;
}

.circle {
	width: 10px;
	height: 10px;
    border-radius: 5px;
    background: black;
}

#circle_l {
    float: right;
}

#circle_r {
	float: left;
}

.menu_space_bottom {
  position: sticky;
	width: 100%;
	opacity: 0;
	left: 0;
	bottom: 0;
	padding: 0;
	margin: 0;
}

a.link {
	text-decoration: none;
	color: #FFDC00;
	-webkit-text-stroke: 1px black;
}

a.link:hover {
	color: white;
	-webkit-text-stroke: 1px white;
}

a.linkmail {
	font-family: arial, sans-serif;
	font-weight: bold;
	text-decoration: none;
	color: #FFDC00;
}

a.linkmail:hover {
	color: white;
	-webkit-text-stroke: 1px white;
}

footer {
	display: block;
	background-color: rgba(255,255,255,0.3);
	width: 60%;
	margin-top: 30px;
	margin-left: auto;
	margin-right: auto;
	padding: 50px;
	font-size: 20px;
	color: black;
}