After considering various form factors, we've settled on a sidebar style:
File:Bespin debugging spec.pdf