Compare commits

..

No commits in common. "f57e875a17320cb9455b8b060df65c18cb5dda6a" and "0cd46a3c9f91f3fb769b85e73849ba8434f9b4d9" have entirely different histories.

2 changed files with 7 additions and 26 deletions

View File

@ -41,8 +41,6 @@
</div> </div>
<div class="terminal"> <div class="terminal">
<input type="button" id="clear_term" value="clear" onclick="clearTerminal();"> <input type="button" id="clear_term" value="clear" onclick="clearTerminal();">
<input type="checkbox" id="scroll" name="scroll" value="scroll" checked> <input type="checkbox" id="scroll" name="scroll" value="scroll" checked>

View File

@ -111,20 +111,3 @@ input:checked + .slider:before {
#clear_term { #clear_term {
margin: 2px; margin: 2px;
} }
input[type="number"] {
width: 100px;
}
input:invalid+span:after {
content: '✖';
padding-left: 5px;
}
input:valid+span:after {
content: '✓';
padding-left: 5px;
}