Some time ago I wrote a post about a Firefox extension called stylish. This extension is basically a script manager that allows you to run scripts that modify web pages. In some aspects it is superior to greasemonkey, but this is not what I want to talk about in this post. One of the scripts I was running using this extension is Gmail Redesigned. This script makes Gmail look significantly better, at least in my opinion. However, this script is no longer available. Instead of it we now have a standalone extension which can be downloaded and installed here. It is now called Google Redesigned, but it includes scripts for Gmail and Gcal only. Before installing it make sure to disable any other scripts that have similar functionality.
Semantics of Proofs in Paris
1 day ago