occam-styles 4.1.110 → 4.1.113
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +20 -2
- package/css/woff2/JuliaMono-Bold.woff2 +0 -0
- package/css/woff2/JuliaMono-Regular.woff2 +0 -0
- package/example.js +26 -26
- package/index.html +2 -2
- package/lib/example/textarea/{firaCode.js → juliaMono.js} +11 -11
- package/lib/example/view.js +3 -3
- package/lib/example.js +3 -3
- package/lib/index.js +7 -7
- package/lib/mixin/font/common.js +2 -2
- package/lib/mixin/font/juliaMono.js +14 -0
- package/lib/style/juliaMono.js +18 -0
- package/package.json +1 -1
- package/src/example/textarea/{firaCode.js → juliaMono.js} +5 -5
- package/src/example/view.js +2 -2
- package/src/example.js +2 -2
- package/src/index.js +2 -2
- package/src/mixin/font/common.js +1 -1
- package/src/mixin/font/juliaMono.js +12 -0
- package/src/style/juliaMono.js +21 -0
- package/css/woff2/FiraCode-Bold.woff2 +0 -0
- package/css/woff2/FiraCode-Regular.woff2 +0 -0
- package/lib/mixin/font/firaCode.js +0 -14
- package/lib/style/firaCode.js +0 -18
- package/src/mixin/font/firaCode.js +0 -13
- package/src/style/firaCode.js +0 -21
package/README.md
CHANGED
|
@@ -12,9 +12,9 @@
|
|
|
12
12
|
|
|
13
13
|
## Introduction
|
|
14
14
|
|
|
15
|
-
This package contains colour definitions together with user interface and syntax schemes
|
|
15
|
+
This package contains colour definitions together with user interface and syntax schemes; various images, in either native or JSX form; and the some of the [JuliaMono](https://juliamono.netlify.app/) typeface in Woff2 format.
|
|
16
16
|
|
|
17
|
-
There is a small example application to view the images in JSX form.
|
|
17
|
+
There is a small example application to view the images in JSX form and so on.
|
|
18
18
|
|
|
19
19
|
## Installation
|
|
20
20
|
|
|
@@ -32,6 +32,20 @@ You can also clone the repository with [Git](https://git-scm.com/)...
|
|
|
32
32
|
|
|
33
33
|
You can also run a development server, see the section on building later on.
|
|
34
34
|
|
|
35
|
+
### Compressing the JuliaMono TTF files to Woff2 format
|
|
36
|
+
|
|
37
|
+
Homebrew has the necessary utilities:
|
|
38
|
+
|
|
39
|
+
```
|
|
40
|
+
brew install woof2
|
|
41
|
+
```
|
|
42
|
+
|
|
43
|
+
Compression is then straightforward, for example:
|
|
44
|
+
|
|
45
|
+
```
|
|
46
|
+
woff2_compress JuliaMono-Regular.ttf
|
|
47
|
+
```
|
|
48
|
+
|
|
35
49
|
## Building
|
|
36
50
|
|
|
37
51
|
Automation is done with [npm scripts](https://docs.npmjs.com/misc/scripts), have a look at the `package.json` file. The pertinent commands are:
|
|
@@ -53,6 +67,10 @@ The example will then be available at http://localhost:8888 and will reload auto
|
|
|
53
67
|
|
|
54
68
|
* The logo was converted to SVG format with Peter Selinger's [Potrace](http://potrace.sourceforge.net/).
|
|
55
69
|
|
|
70
|
+
* Occam's pretty printer uses the [JuliaMono](https://juliamono.netlify.app/) typeface distributed under the [SIL Open Font License (OFL)](https://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&id=ofl).
|
|
71
|
+
|
|
72
|
+
* [Fredrik Ekre](https://fredrikekre.se/) provided the script to strip out ligatures and contextual alternate characters from JuliaMono.
|
|
73
|
+
|
|
56
74
|
## Contact
|
|
57
75
|
|
|
58
76
|
* james.smith@openmathematics.org
|
|
Binary file
|
|
Binary file
|