/* Make output cells that are too long scrollable */
div.output div.highlight pre {
    max-height: 300px;
    overflow-y: auto;
}