Mark Otto San Francisco, CA
Director of Design at GitHub. Creator of Bootstrap. Previously at Twitter. Huge nerd.More
Tweaking GitHub's diffs Adding code comments on GitHub just got a little update. Now when you hover over the button, it animates to be slightly bigger. It's a small touch...
Updated GitHub Enterprise header Along with the new GitHub.com site header, the Enterprise variation got a whole update, too. Same great colors and layout, just minus all the visua...
Updated GitHub diffs Just rolled out some updates to diffs: better addition/deletion highlighting, new add comment link and placement, and highlightable lines in diffs ...
GitHub site header We redesigned the site header to simplify our styles, reorganize the content, and more. Search got way simpler and notifications are moved to the r...
GitHub mobile profiles The last couple weeks saw a few improvements to user profiles on mobile. We added URLs, the follow button, and user stats.
Updated GitHub web editor Our web editor, powered by Ace, has a new look. It's also been updated to the latest stable release of Ace which adds a few features, improves styl...
Manual Another Jekyll theme, but this time geared for documentation. Autogenerating navigation, plenty of example content, and more.
Custom form controls Open sourced a new project, WTF, forms?, to share some friendlier HTML form controls. Uses a bit of CSS magic and isn't 100% functional, but gettin...
GitHub issue sidebar tweak Another tweak I pushed out was to once again surface notification reasons in the sidebar. Prior to the timeline redesign, we had the reason clearly...
GitHub timeline tweak I pushed a few tweaks last week to conversations on issues and pull requests to better differentiate each event. We were doing some silly CSS magic...
← Prev Next →