> Here are the mock ups: https://people.mozilla.org/~shorlander/mockups/devTools...

		bgrins on Nov 5, 2013 \| parent \| context \| favorite \| on: Firefox Developer Tools, Part 2: Scratchpad and St... > Here are the mock ups: https://people.mozilla.org/~shorlander/mockups/devTools/ux-r... Regarding theming, here is a bug that can be followed for updates: https://bugzilla.mozilla.org/show_bug.cgi?id=916766.