This is a bit kludgy, but we’ll take care of it consistently in the work on the main area widget.
@@ -285,12 +285,12 @@
}
.jp-LinkedOutputView .jp-OutputArea {
- height: 100%;
+ height: calc(100% - var(--jp-toolbar-micro-height));
display: block;
.jp-LinkedOutputView .jp-OutputArea-child:only-child {
.jp-LinkedOutputView-toolbar {