Function toggleMinimize

static/js/learnpython.js:308–316

()

}

function toggleMinimize() {
	var dock = document.querySelector("footer#dock");

	if (dock.classList.contains("maximized")) {
		minimizeDock();
	} else {
		maximizeDock();
	}
}

function maximizeDock() {
	var dock = document.querySelector("footer#dock");