☰

W3C-Noto

W3C site, using Noto Sans

当前为 2017-03-17 提交的版本，查看 最新版本。

  1. // ==UserScript==
  2. // @name        W3C-Noto
  3. // @description W3C site, using Noto Sans
  4. // @namespace   https://tripu.info/
  5. // @version     0.2.0
  6. // @include     http://w3.org/*
  7. // @include     http://*.w3.org/*
  8. // @include     https://w3.org/*
  9. // @include     https://*.w3.org/*
  10. // @license     MIT
  11. // @supportURL  https://tripu.info/
  12. // @author      tripu
  13. // ==/UserScript==
  14.  
  15. console.debug('W3C-Noto [start]');
  16.  
  17. (() => {
  18.     'use strict';
  19.     if (document && document.getElementsByTagName && document.createElement) {
  20.         var head = document.getElementsByTagName('head');
  21.         if (head && 1 === head.length) {
  22.             const link = document.createElement('link'),
  23.                   style = document.createElement('style');
  24.             head = head[0];
  25.             link.setAttribute('href', '//www.w3.org/People/Antonio/noto/noto-tmp.css');
  26.             link.setAttribute('rel', 'stylesheet');
  27.             style.innerText = `* { font-family: 'Noto Sans', sans-serif !important; line-height: 1.5 !important; }`;
  28.             head.appendChild(link);
  29.             head.appendChild(style);
  30.             console.debug('W3C-Noto [success]');
  31.         } else
  32.             console.debug('W3C-Noto [no head]');
  33.     } else
  34.         console.debug('W3C-Noto [no document]');
  35. })();
  36.  
  37. console.debug('W3C-Noto [end]');