header {
    text-align: center;
    margin-bottom: 0px;
    color: white;
    padding: 5px;
}

.menu {
    text-align: center;
    margin-bottom: 0;
    border: 1.5px solid black;
    padding: 12px;
    font-size: 20px;
}
.menu a {
    margin: 5px;
    text-decoration: none;
    font-weight: bold;
    font-family: serif;
    color: black;
    border: 1px solid;
    box-sizing: border-box;
    border-radius: 20px;
    border: none;
}
.menu a:hover {
    background: green;
    color: white;
    padding: 10px;
}

i{
    color: blue;
    font-family: Sans-Serif;
    font-weight: bold;
}
p{
  -webkit-touch-callout: none; /* iOS */
  -webkit-user-select: none; /* Safari */
  -khtml-user-select: none; /* Konqueror HTML */
  -moz-user-select: none; /* Firefox */
  -ms-user-select: none; /* Internet Explorer/Edge */
  user-select: none; /* Non-prefixed version, currently
                                  supported by Chrome, Edge, Opera and Firefox */
}