ajaxorg/cloud9 — pull request #2197 by giannis (2012-09-18 16:06:31+00:00)
Title: * add minwidth in logobar so can fit the elements 

@sergi or @mattpardee

this should fix the problem with the elements in the top bar got pushed outside of view if the browser
window is too small