My new font! PragmataPro!

azcn2503 · Mon Jan 02, 2012 4:10 am

I bought this yesterday and I use it for everything! Well, almost everything...

This actually reminds me a little of PSO on the Dreamcast, the built in DreamKey font was similar but not fixed width.

Harry · Mon Jan 02, 2012 1:01 pm

Oh you

azcn2503 · Tue Jan 03, 2012 3:46 pm

Hit F12
Go Console
(function(){var a=document.getElementsByTagName("*");for(var i in a){if(a.hasOwnProperty(i)){if(a[i].style){a[i].style.font="10pt PragmataPro";}}}})();
Yeahhh

azcn2503 · Tue Jan 03, 2012 5:50 pm

lol, just made a Chrome extension to do this so I no longer have to.

Some might call me obsessed but I just call me obsessed.

Skillers · Tue Jan 03, 2012 9:33 pm

You could have just made a bookmark, though I guess you want it to work automatically.

Harry · Wed Jan 04, 2012 8:58 pm

Oh shit. This is pro.

azcn2503 · Thu Jan 05, 2012 3:42 pm

manifest.js

Code:

{
    "name":"PragmataPro",
    "description":"Change font to PragmataPro",
    "version":"1.0",
    "content_scripts":[
        {
            "matches":["*://*/*"],
            "css":["pragmatapro.css"],
            "js":["pragmatapro.js"],
            "run_at":"document_end",
            "all_frames":true
        }
    ]
}

pragmatapro.css

Code:

*{
    font-family:"PragmataPro";
}

pragmatapro.js

Code:

var e=document.getElementsByTagName("*");
for(var i in e){
    if(e.hasOwnProperty(i)){
        if(e[i].style){
            e[i].style.fontFamily="PragmataPro";
        }
    }
}

lol

Si · Mon Jan 09, 2012 1:00 am

I can push to chrome web store?

My new font! PragmataPro!

Who is online