Minor styling of the extension GUI.