About this Add-on
It is an update of Johannes Schellen's Pinball theme wiich was discontinued in 2011.
The Pinball button images are propriety of Johannes Schellen
PinBall is a complete compact theme, which works especially well in "Icons and Text" mode with "Use small icons" enabled. The icons has a blister-like effect when clicked.