Hovering over user's name now provides netid
Merge pull request #34 from rohankapoorcom/master

Hovering over user's name now provides netid
Redesign
Manual merge of 8b81f036d35b58165caf85957515cbd437e19797
Bogus merge
Defer scrolls
Fix realtime bug introduced in 675ec07bdc12291f11d0198ff4eef8279a53d5d6
Fix eric's heading bug
Slight fix to custom marked renderer
Fix those ugly links
Stop wasting renders on socket events
Let comments be posted with at least one character
Increase accomplishment min length to 30 chars, improve UI feedback
Scroll down after initial render
Merge pull request #4 from Illinois-Founders/master

pulling redesign