The C standard formalized in Coq

Re:The C standard formalized in Coq by leppr on Monday November 30, 2015 @09:23AM (#10649505)

You might want to take a look at the 'Stylish'[1] extension if you often feel like modifying the CSS on sites you visit.

Personally I got used to changing the zoom all the time, with the amount of sites that solve the DPI problem by multiplying the size of everything by 2.

[1] Firefox: https://addons.mozilla.org/en-us/firefox/addon/stylish/

Chrome: https://chrome.google.com/webstore/detail/stylish/fjnbnpbmke...

Find styles: https://userstyles.org/

[ Parent | on HN ]

Re:The C standard formalized in Coq by vinceyuan on Monday November 30, 2015 @09:33AM (#10649555)

Thanks. Safari is my main browser. I prefer cmd+= to the extension. I found zooming in Safari is much better than in Chrome. Zooming one tab in chrome makes all tabs zoom. That is ridiculous.

[ Parent | on HN ]