cockpit-project/cockpit — pull request #1362 by stefwalter (2014-10-16 19:30:18+00:00)
Title: server: Fix layout of terminals resize to contents

Size the terminal to the contents properly, and tweak the margins
a bit. Other minor cleanup.