1@font-face {
2    font-family: 'DejaVuSans';
3    src: url('dejavusans-webfont.eot');
4    src: url('dejavusans-webfont.eot?#iefix') format('embedded-opentype'),
5         url('dejavusans-webfont.woff2') format('woff2'),
6         url('dejavusans-webfont.woff') format('woff'),
7         url('dejavusans-webfont.ttf') format('truetype'),
8         url('dejavusans-webfont.svg#dejavu_sansbook') format('svg');
9    font-weight: normal;
10    font-style: normal;
11
12}
13
14@font-face {
15    font-family: 'DejaVuSansMono';
16    src: url('dejavusansmono-webfont.eot');
17    src: url('dejavusansmono-webfont.eot?#iefix') format('embedded-opentype'),
18         url('dejavusansmono-webfont.woff2') format('woff2'),
19         url('dejavusansmono-webfont.woff') format('woff'),
20         url('dejavusansmono-webfont.ttf') format('truetype'),
21         url('dejavusansmono-webfont.svg#dejavu_sans_monobook') format('svg');
22    font-weight: normal;
23    font-style: normal;
24}
25
26html {
27	/* font-size: 13px; */
28	font-family: DejaVuSans,Verdana,Helvetica,Arial,sans-serif;
29}
30
31::selection {
32    background: rgb(253, 216, 134);
33}
34
35::-moz-selection {
36    background: rgb(253, 216, 134);
37}
38
39/* from normalHtml.css */
40a {
41	color: rgb(162, 140, 66);
42}
43
44/* style for tables with nomenclature (first usage in Tongan starlore) */
45table.nomenclature {
46        margin: 3px auto;
47        border-color: black;
48        border-style: solid;
49        border-width: 1px;
50}
51
52table.nomenclature tr td, table.nomenclature tr th {
53        padding: 3px;
54}
55