
        #terminal-configurator button {
            padding: 8px 15px;
            margin-right: 5px;
			border-style: solid;
			border: #d1d1d1 solid 1px;
			border-radius: 5px;
			cursor: pointer;
        }
		
		#terminal-configurator button:disabled, #terminal-configurator #connect:disabled, #terminal-configurator #send:disabled {
			background-color: #f0f0f0;
			cursor: default;
		}

        #terminal-configurator input {
            padding: 8px;
            width: 400px;
            font-family: monospace;
        }

        /*#output {*/
		#terminal-configurator .top-box {
            margin-top: 15px;
			margin-bottom: 15px;
            padding: 10px;
            height: 400px;
            overflow-y: auto;
            background: #111;
            color: #eee;
            white-space: pre-wrap;
            border: 1px solid #555;
			/*width: 80ch;*/
			height: 17em;
			font-family: monospace;
			line-height: 1.1;
			/*margin: 20px;*/
        }
		
		#terminal-configurator #connect, #terminal-configurator #send {
			background-color: #2196F3;
			color: white;
			/*font-family: monospace;*/
		}
		
		#terminal-configurator #connect:hover, #terminal-configurator #send:hover {
			background-color: #1976D2;
		}
		
		#terminal-configurator button:hover {
			background-color: #e0e0e0;
		}
		
		#terminal-configurator .input-container {
		  /*width: 85ch;*/
		  display: flex;
		  gap: 10px; 
		  box-sizing: border-box;
		  margin-top: 10px; 
		}
		
		#terminal-configurator .input-container input {
		  flex-grow: 1;
		  padding: 8px;
		  box-sizing: border-box;
		}
		
		#terminal-configurator .input-container button {
		  padding: 8px 16px;
		  box-sizing: border-box; 
		}
		
		#terminal-configurator .top-box, .input-container {
		  width: 80ch;
		  box-sizing: border-box;
		}