Fonts: Difference between revisions

Jump to navigation Jump to search
33 bytes added ,  00:13, 10 December 2022
mNo edit summary
Line 115: Line 115:
# The APL code has to be formatted with an appropriate APL font
# The APL code has to be formatted with an appropriate APL font
# The APL font has to be made available for those users that do not have it installed
# The APL font has to be made available for those users that do not have it installed
All these things can be achieved by inserting the following into the <syntaxhighlight lang=html inline><head></syntaxhighlight> element of the page (replace font name and file name with desired font):
All these things can be achieved by inserting the following into the <syntaxhighlight lang=html inline><head></syntaxhighlight> element of the page.
Replace font name and file name with values corresponding to the desired font:
<syntaxhighlight lang=html>
<syntaxhighlight lang=html>
<meta charset="UTF-8">
<meta charset="UTF-8">
<style>
<style>
   @font-face{
   @font-face {
     font-family: APL; src: local("APL385 Unicode"), url(Apl385.ttf)
     font-family: APL;  
    src: local("APL385 Unicode"), url(Apl385.ttf)
   }
   }
   pre, code {
   pre, code {
Line 127: Line 129:
</style>
</style>
</syntaxhighlight>
</syntaxhighlight>
The <syntaxhighlight lang=shell inline>Apl385.ttf</syntaxhighlight> file must then be placed in the same directory as the HTML file, and all APL code must be wrapped in <syntaxhighlight lang=html inline><pre></syntaxhighlight> or <syntaxhighlight lang=html inline><code></syntaxhighlight> elements.
The <syntaxhighlight lang=shell inline>Apl385.ttf</syntaxhighlight> font file must be placed in the same directory as the HTML file, and all APL code must be wrapped in <syntaxhighlight lang=html inline><pre></syntaxhighlight> or <syntaxhighlight lang=html inline><code></syntaxhighlight> elements.


== Changing font in Dyalog RIDE ==
== Changing font in Dyalog RIDE ==
trusted
63

edits

Navigation menu