-
Andy Hertzfeld authored
did some work at Bud's request. Made a global preference for the sidebar width, and made it use it. Also, changed the index title font to helvetica, to avoid clash with other text
85e1ba07
To find the state of this project's repository at the time of any of these versions, check out the tags.