-
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
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