I got an awesome new theme on this site! I replaced my old Garland theme with this theme. It may look familiar to Mac users.
In the new theme, the search box has been moved to a more better place outside the sidebar.
