html {
    font-family: "DejaVu Sans" , "Gill Sans" , sans-serif;
    font-size: larger;
}


#content {
    max-width: 80em;
}

#translation-container {
    position: fixed;
    right: 0;
    top: 0;
    width: 30ex;
    height: 60ex;
    background-color: rgba(13,0,214,0.29);
    padding: 0;
}


.glossary-online {
    font-style: italic;
    text-decoration: underline;
    cursor: pointer;
}

.glossary-origin {
    color: #0d00d6;
}