- small collection of visual improvements I added the past days to make
  theme marvin display on Mozilla and Opera: hopefully it looks nice on
  IE as well.