simon/muharni
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Fix: use local punjabi font for character popup.

Browse source
This commit is contained in:
Simon Brooke 2025-08-12 10:53:11 +01:00
parent 131c5961ed
commit ee2aa51258
2 changed files with 3 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
resources/public/index.html
View file

@ -16,7 +16,7 @@
style="display: none; border: thin solid gray; width: 10%"> style="display: none; border: thin solid gray; width: 10%">
<div id="closebox" onclick="$('#popup').hide();" <div id="closebox" onclick="$('#popup').hide();"
title="Close popup">✖</div> title="Close popup">✖</div>
<p id="character" <p class="punjabi" id="character"
style="text-align: center; margin: 0; font-size: 4em;">?</p> style="text-align: center; margin: 0; font-size: 4em;">?</p>
<table id="controls" <table id="controls"
summary="Controls for audio playback and recording"> summary="Controls for audio playback and recording">
@ -43,13 +43,6 @@
</table> </table>
</div> </div>
<h1>Muharni table</h1> <h1>Muharni table</h1>
<div class="firefox">
<img alt="Firefox logo" src="img/firefox.jpeg" />
<p>Currently, recording user sounds on this page is only
working on
<a href="https://www.mozilla.org/en-GB/firefox/new/">Firefox
browser.</a> We're working on this and hope to fix it.</p>
</div>
<button <button
onclick="var l = document.getElementById('long'); var s = document.getElementById('short'); if (l.style.display == 'none') { l.style.display = 'block'; s.style.display = 'none'; } else { l.style.display = 'none'; s.style.display = 'block'; } $('#popup').hide();">Toggle onclick="var l = document.getElementById('long'); var s = document.getElementById('short'); if (l.style.display == 'none') { l.style.display = 'block'; s.style.display = 'none'; } else { l.style.display = 'none'; s.style.display = 'block'; } $('#popup').hide();">Toggle
short/long</button> short/long</button>

10
src/muharni/construct.clj
View file

@ -199,7 +199,7 @@
[:div {:id "closebox" [:div {:id "closebox"
:onclick "$('#popup').hide();" :onclick "$('#popup').hide();"
:title "Close popup"} "&#10006;"] :title "Close popup"} "&#10006;"]
[:p {:id "character" :style "text-align: center; margin: 0; font-size: 4em;"} "?"] [:p {:id "character" :class "punjabi" :style "text-align: center; margin: 0; font-size: 4em;"} "?"]
[:table {:id "controls" :summary "Controls for audio playback and recording"} [:table {:id "controls" :summary "Controls for audio playback and recording"}
[:tr [:tr
[:th "Tutor"] [:th "Tutor"]
@ -214,13 +214,7 @@
:title "Record student audio"} "&#9210;"]]] :title "Record student audio"} "&#9210;"]]]
[:tr [:tr
[:td {:colspan 3 :id "progress"}]]]] [:td {:colspan 3 :id "progress"}]]]]
[:h1 (str title)] [:h1 (str title)]
[:div {:class "firefox"}
[:img {:src "img/firefox.jpeg"
:alt "Firefox logo"}]
[:p "Currently, recording user sounds on this page is only working on "
[:a {:href "https://www.mozilla.org/en-GB/firefox/new/"} "Firefox browser."]
" We're working on this and hope to fix it."]]
[:button {:onclick "var l = document.getElementById('long'); [:button {:onclick "var l = document.getElementById('long');
var s = document.getElementById('short'); var s = document.getElementById('short');
if (l.style.display == 'none') { if (l.style.display == 'none') {