Merged from dev. Fixed merge conflicts. Updated terminal documentation for wget

This commit is contained in:
danielyxie
2018-09-07 21:21:23 -05:00
44 changed files with 2995 additions and 1344 deletions

View File

@@ -19,6 +19,12 @@
overflow-y: scroll;
background-color: var(--my-background-color);
table-layout: fixed;
.prompt {
color: var(--my-prompt-color);
margin: 0;
padding: 0;
}
}
#terminal-input {