Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Options UI cleanups #157
Now that there are several options relating to the border drawn around landmarks, it makes sense to clear up the UI a bit. This may be left as-is until headings are supported too, but when they are, the following probably make sense:
Should the options page be made more visible? I have resisted this so far, as there are already mechanisms provided by the browser to access extensions' options.