@import url('https://fonts.googleapis.com/css2?family=Noto+Sans+JP:wght@300&display=swap');

body {
    background-image: url("20-01-21-12-26.jpg");
    backdrop-filter: blur(2px);
    color: white;
    font-size: 30px;
    font-family: 'Noto Sans JP', 'Noto Sans CJK JP Light', sans-serif;
}

a {
    color: white;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

#title {
    padding-bottom: 10px;
    border-bottom: 2px solid white;
}

#nav {
    margin-top: 100pt;
    width: 25%;
    float: right;
}

article {
    margin-top: 40pt;
    width: 60%;
    float: left;
    font-size: 18px;
}

article h2 {
    font-size: 22px;
    border-bottom: 1px solid rgba(255, 255, 255, 0.4);
    padding-bottom: 4px;
    margin-top: 20px;
    margin-bottom: 8px;
}

article ul {
    padding-left: 1.4em;
    margin: 4px 0;
}

article li {
    margin-top: 4px;
}

.footnote {
    font-size: 14px;
    opacity: 0.6;
    margin-top: 24px;
}

.menu_element {
    border-left: 1px solid white;
    border-bottom: 1px solid white;
    padding-left: 10px;
    padding-bottom: 2px;
    margin-top: 10px;
}