@Jon: 137 is significantly better, 136 is really, really frustrating under certain circumstances (like early in the morning still bleery-eyed when using Firefox for work and it's important to not close tabs accidentally).However similar to what @Sin_...
