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