julia.html

<!doctype html>
<html>
  <head>
    <meta charset=utf-8><title>Julia</title>
    <style>kbd{border: 1px solid buttonshadow;border-radius:.5ex;padding:0 .25ex;margin:0 .2ex;background:buttonface;}</style>
  </head>
  <body>
    <article>
      <h1><a href="https://julialang.org/">Julia</a> language bar and character compositions <a href="."><button>More…</button></a></h1>
      <p>This provides two ways to easily enter Julia characters into pretty much any input field on any webpage:</p>
      <ol>
        <li>Enter a combo sequence and hit Tab, e.g. <kbd>\</kbd><kbd>p</kbd><kbd>i</kbd><kbd>Tab</kbd> gives <code>π</code>. See the <a href="https://docs.julialang.org/en/v1/manual/unicode-input/">complete list of completions</a>.</li>
        <li>Click on symbols in the language bar.</li>
      </ol>
      <p>Try it here: <input autofocus/></p>
      <p>Hover over a symbol in the language bar for combo sequences.</p>
      <h2>Installation</h2>
      <h3>Desktop browser</h3>
      <ol>
        <li>Drag this link to your bookmarks bar: <a href='javascript:(d=>{let e=d.createElement("script");e.src="https://abrudz.github.io/lb/julia.js";d.body.appendChild(e)})(document)'>Julia</a></li>
      </ol>
      <h3>Mobile browser</h3>
      <ol>
        <li>Add a bookmark for this page.</li>
        <li>Edit the bookmark's target URL address to <code>javascript:(d=&gt;{let%20e=d.createElement("script");e.src="https://abrudz.github.io/lb/julia.js";d.body.appendChild(e)})(document)</code></li>
      </ol>
      <h3>Webpage</h3>
      <ol>
        <li>Include this HTML in your page: <code>&lt;script src="https://abrudz.github.io/lb/julia.js">&lt;/script></code></li>
      </ol>
      <h2>Activation</h2>
      <ol>
        <li>Navigate to the web page where you want to enter Julia characters.</li>
        <li>Click on the <em>Julia</em> bookmark. The language bar should appear at the web page's top.</li>
      </ol>
    </article>
    <script src="https://abrudz.github.io/lb/julia.js"></script>
</html>