gvimont

Yes, I'm actually using it (but I could probably use another theme). I could change `pagewidth` to a better value. As you said, another solution is to revert #10520, and...

This is not a regression but #10520 make visible a bug in `agogo` theme.