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

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