1. b56c882 CSS tweaks with the menu to help resolve some menu/content overlap issues. by Ted Kremenek · 16 years ago
  2. 753eac8 Fix menu/content overlap. by Ted Kremenek · 16 years ago
  3. 995a2b7 More padding adjustments. by Ted Kremenek · 16 years ago
  4. 7bf3fb6 Shorten menu item name. by Ted Kremenek · 16 years ago
  5. 0b0706f Add some padding to the right of "content" to balance out. by Ted Kremenek · 16 years ago
  6. 9dcd9be Less padding... (difficult to preview without commits) by Ted Kremenek · 16 years ago
  7. bd9b792 More padding... by Ted Kremenek · 16 years ago
  8. 7074b5d Expand padding of content. by Ted Kremenek · 16 years ago
  9. a675133 IE Menu Problem... by Kevin · 17 years ago
  10. 1a380a0 reorganize features, expound on a couple more. by Chris Lattner · 17 years ago
  11. 1c05726 simplify the menu css, make it a bit more attractive. by Chris Lattner · 17 years ago
  12. bc8e50f new site -- the rest of it by Kevin · 17 years ago