1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
| 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;
| }
|
|
