/* 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 {
	align-content: 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 {
	background-color: transparent;
    position: relative;
	width: 100%;
    padding-top: 13%;
}

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;
}