#themer-popup is sometimes too small

#themer-popup is sometimes too small to display long lists of views functions or long function names.
And sometimes the attributes block unreachable at the bottom...
With this css (for devel_themer.css) the div will be a bit better:

#themer-popup .row {
  height: 150px;
  overflow: auto;
}
#themer-popup .attributes {
  height: auto;
}