Himanshu Kapoor 4b9328c1c8 Reduce the default height of MR/branch dropdowns ... To avoid having empty areas in the dropdown that occupy unnessary space, I removed the dropdown's min-height and changed its default height in empty state to be same as its loading state (with the spinner).		2019-08-09 12:44:45 +05:30
..
_ide_mixins.scss	Remove 'build-page' from 'ide-terminal' element	2019-06-07 00:58:35 -05:00
ide.scss	Reduce the default height of MR/branch dropdowns	2019-08-09 12:44:45 +05:30
xterm.scss