Function minimizeDock

static/js/learnpython.js:330–339

()

function minimizeDock() {
	var dock = document.querySelector("footer#dock");
	var toggleButton = document.querySelector("#toggle-dock-button");
	// $("#run-button").prop("disabled", true);

	dock.classList.remove("maximized");
	toggleButton.classList.remove("btn-success");
	toggleButton.classList.add("btn-primary");

}

$(function() {
	load();