web/static/pkg/hotkeys-js/dist/terminal.js

hotkeys('ctrl+enter', function() {
	var ele = document.getElementById('aiterm');
	var win = document.getElementById('window');
	var svg = document.getElementById('aisvg');
	var term = document.getElementById('terminal');
	term.click();
	//var par = document.getElementById('particles-js');
	//par.style.display = 'block'; 
	if (ele.style.display == 'none') {
		ele.style.display = 'block'; 
		svg.style.display = 'none'; 
	} else {
		ele.style.display = 'none';
		svg.style.display = 'block'; 
	}
});