| // ==UserScript== | |
| // @name MeFirefox | |
| // @namespace MyDebian | |
| // @description Change All fonts across FF | |
| // @include http* | |
| // @version 1 | |
| // @grant none | |
| // ==/UserScript== | |
| var css = "h1, h2, h3, h4, h5, h6, #firstHeading,.pod_body, #lst-ib, td, body, html, p, tr, div, a, main-body, textarea {font-family: IRANSansWebNoEn, DroidSans, sans-serif !important;} strong, b {font-weight: 900;}", |
More complete info here http://cluster015.ovh.net/infos/ (thanks to @42antoine)
/usr/local/php5.3/bin/php => PHP 5.3.29 (cli) (built: Nov 21 2017 08:55:07)
/usr/local/php5.4/bin/php => PHP 5.4.45 (cli) (built: Nov 21 2017 08:35:51)
/usr/local/php5.5/bin/php => PHP 5.5.38 (cli) (built: Nov 21 2017 08:46:45)
| <?xml version="1.0"?> | |
| <!DOCTYPE fontconfig SYSTEM "fonts.dtd"> | |
| <fontconfig> | |
| <!-- | |
| Documented at | |
| http://linux.die.net/man/5/fonts-conf | |
| To check font mapping run the command at terminal | |
| $ fc-match 'helvetica Neue' |
| // tweet-sized, and does (approximately) the same thing | |
| var t=document.all,l=t.length,w='-webkit-trans';while(l--)t[l].style.cssText+=w+'ition:all,20s;'+w+'form:rotate('+Math.random()+'rad)' |
| /* | |
| * jQuery special events for delayedEnter, delayedLeave, and delayedHover | |
| * Author: Scott Jehl, scott@filamentgroup.com | |
| * Copyright (c) 2011 Filament Group | |
| * licensed under MIT | |
| * note: Each event can be used with bind or live event handling as you would use mouseenter,mouseleave, and hover | |
| * events fire after 200ms timeout | |
| */ | |
| (function($){ | |
| //delayedEnter event |