body {
    font-family: 'Noto Sans', sans-serif;
    margin-left:  5%;
    margin-right: 5%;
}

/*
h1 {
    margin: 1em 0;
    padding: 0.5em 0.5em;
    color: #000;
    border-top:    2px solid #999;
    border-bottom: 2px solid #999;
    border-left:   2px solid #999;
    border-right:  2px solid #999;
    background: #eee;
}
*/

h2 {
    margin: 0.5em 1em;
    padding: 0.2em 0.5em;
    border-left:   5px solid #ccc;
    border-bottom: 2px solid #ccc;
    background: #eee;
}

a {
    text-decoration: none;
}

div.title {
    font-style: italic;
}

span.distinguish {
    color: #f00;
    font-style: normal;
}

.homonym-nr {
    font-size: 66%;
}