Merge pull request #33 from aphillips/gh-pages

Add font subsetting

SubsetFont.user.js

@@ -0,0 +1,57 @@
+// ==UserScript==
+// @name        SubsetFont
+// @namespace   w3c
+// @description Generate subsetted fonts to support charmod
+// @version     1
+// @include     *
+// @grant       none
+// ==/UserScript==
+
+// author = addison@lab126.com
+
+var text = document.body.innerHTML;
+
+var charsToGet = [];
+var request = '';
+
+var re = new RegExp("[\u0100-\uffff]", 'g');
+
+var unique = 0;
+
+var m;
+while ((m = re.exec(text)) !== null) {
+  var item = m[0];
+  if (charsToGet.length === 0 || charsToGet.indexOf(item) < 0) {
+    charsToGet.push(item);
+    request = request + item;
+    unique++;
+  }
+}
+
+
+//alert(re.test(text) + ' ' + re + ' ' + text.substring(0,100));
+
+var mypanel = document.getElementsByClassName('subsetFont')[0];
+
+if (!mypanel) {
+  mypanel = document.createElement('div');
+}
+mypanel.innerHTML = '';
+
+mypanel.setAttribute('id', 'subsetFont');
+mypanel.setAttribute('class', "subsetFont");
+mypanel.style.position = 'fixed';
+mypanel.style.bottom   = 0;
+mypanel.style.right    = 0;
+mypanel.style.overflow = 'auto';
+mypanel.style.inset    = '0 0 0 10px';
+mypanel.style.zIndex   = '1001'; // make it appear in front of most things
+
+var pre = document.createElement('pre');
+pre.appendChild(document.createTextNode('count: ' + unique));
+mypanel.appendChild(pre);
+pre = document.createElement('pre');
+pre.appendChild(document.createTextNode(request));
+mypanel.appendChild(pre);
+
+document.body.appendChild(mypanel);

local.css

@@ -1,3 +1,10 @@
+@font-face {
+  font-family: 'Noto Sans';
+  font-style: normal;
+  font-weight: 400;
+  src: local('Noto Sans'), local('NotoSans'), url('./font.woff2')
+}
+
 body {
 	counter-reset: requirement;
 }
@@ -33,10 +40,9 @@ del {
 
 figure { 
 	margin-bottom: 2em; 
-	text-align: center;
-	}
+}
 figcaption {
-	 text-align: center;
+	text-align: center;
 	margin: 0.5em 2em;
 	font-style: italic;
 	font-size: 90%;
@@ -72,11 +78,11 @@ a.termref:active {
 .quote:after { content: '"'; }
 code { 
 	color: #A52A2A; 
-    font-family: Consolas, "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", Monaco, "Courier New", monospace; 
+    font-family: Consolas, "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", Monaco, "Courier New", NotoSans, monospace; 
     font-size: 100%; 
     }
 samp, kbd { 
-	font-family: Consolas, "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", Monaco, "Courier New", monospace; 
+	font-family: Consolas, "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", Monaco, "Courier New", NotoSans, monospace; 
     font-size: 100%; 
     }
 .uname {
@@ -95,7 +101,7 @@ div.requirement {
 
 div.requirement p:before {
 	content: "C" counter(requirement) " \00A0";
-	font-family:Tahoma, Geneva, sans-serif;
+	font-family:Tahoma, Geneva, NotoSans, sans-serif;
 	font-weight: bold;
 	font-size: smaller;
 	text-transform: capitalize;
@@ -155,7 +161,7 @@ div.exampleBox {
 }
 
 .markup {
-	font-family: Lucida Console,monospaced;
+	font-family: Lucida Console,NotoSans, monospaced;
 }
 
 .shakespeare {