Add Greek font

mwenge · Oct 4, 2020 · b16634f · b16634f
1 parent 5da3ad4
commit b16634f
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 4 deletions.
diff --git a/Aegean.css b/Aegean.css
@@ -28,3 +28,10 @@
   font-weight: 400;
   src: url(NotoEmoji-Regular.ttf) format('truetype');
 }
+@font-face {
+  font-family: 'GFS Didot';
+  font-style: normal;
+  font-weight: 400;
+  src: local('GFS Didot Regular'), local('GFSDidot-Regular'), url(GFSDidot.ttf) format('truetype');
+}
+
diff --git a/GFSDidot.ttf b/GFSDidot.ttf
diff --git a/explorer.js b/explorer.js
@@ -1163,9 +1163,6 @@ function addWordTip(word, name, index) {
     tip.appendChild(wordCommentElement);
   }
 
-  var wordCommentElement = document.createElement("div");
-  wordCommentElement.className = "lexicon";
-  wordCommentElement.textContent = "Tags: ";
   var tagsForWord = inscriptions.get(name).wordTags[index];
   if (tagsForWord) {
     tagsForWord.forEach(x => {

diff --git a/index.html b/index.html
@@ -12,7 +12,7 @@
 </script>
 <style>
   body {
-    font-family: 'Merriweather', 'AegeanRegular', 'Aegean', 'Noto Sans Linear A and B', 'Noto Mono', sans-serif;
+    font-family: 'Merriweather', 'GFS Didot', 'AegeanRegular', 'Aegean', 'Noto Sans Linear A and B', 'Noto Mono', sans-serif;
     font-size: 18px;
     margin: 0px;
   }