GNOME Shell Extensions -- Style Tweaks

Added by hunterm@userstyles, Created: Jun 18, 2012, Updated: Jun 19, 2012
  • With the style applied
  • With the style applied (Generated screenshot)
  • Without the style applied (Generated screenshot)

Description:

Tweaks the extensions.gnome.org's style. Font changes, font size changing, and some padding and margins removed.

More info
0.1 -- Released.

Installs:
Applies to:
extensions.gnome.org
License:
CC0 1.0 Universal.
hunterm@userstyles has waived all copyright and related or neighboring rights to GNOME Shell Extensions -- Style Tweaks, to the extent allowed by law.

Related styles:

WARNING: This webware is not functioning properly. Please enable javascript in your browser and try again.