.menu{
    margin-left: 15px;
    /*margin-right: 15px;*/
    margin-top: 3vh;
    border-top:5px solid rgb(40,40,40);
}

.menu a, .menu p, .menu .menuElement {
    margin-top: 8px;
    margin-bottom: 8px;
    display: block;
    border-radius: 5px;
    text-align: center;
    transition-duration: 0.2s;
    box-shadow: 5px 5px 8px 2px rgb(50,50,50);
    padding-right: 5px;
    padding-left: 5px;
}

.menu * {
    background-color:rgb(150,150,150);
    color: white;
    text-decoration: none;
}

.menu a:hover, .menu button:hover {
    color: #008ae6;
    text-shadow: 0px 0px 2px black;
    background-color:rgb(170,170,170);
    cursor: pointer;
}

.menu i {
	background-color: inherit;
}
/*
.menu a:active {
    box-shadow:none;
    transform: translateY(1px);
}

.menu a:visited{
    color: white;
    text-decoration: underline;
}*/

.menuElement > button {
	width: 100%;
	box-sizing: border-box;
}