github/markup — pull request #160 by esc (2012-10-13 19:55:53+00:00)
Title: increase the length of options in the option list

The default maximum length of option in an option list fo restructured text is
14. This heuristic may have been good a few years back. By now we all have huge
displays, so doubling it should be fine. This should imporve the way option
lists are displayed by the browser since options and their descriptions will
be split into seperate lines less often.