MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
80x24 |
+border |
||
| Line 5: | Line 5: | ||
.terminal { | .terminal { | ||
background: #000; | background: #000; | ||
border: 1px solid #444; | |||
color: #00ff00; | color: #00ff00; | ||
font-family: monospace; | font-family: monospace; | ||
min-height: 24em; | min-height: 24em; | ||
overflow: auto; | overflow: auto; | ||
padding: 1em; | padding: 1em; | ||
white-space: pre; | |||
width: 80ch; | |||
} | } | ||
Revision as of 14:36, 4 June 2026
/* CSS placed here will be applied to all skins */
/* Terminal-style output */
.terminal {
background: #000;
border: 1px solid #444;
color: #00ff00;
font-family: monospace;
min-height: 24em;
overflow: auto;
padding: 1em;
white-space: pre;
width: 80ch;
}
.terminal-red {
color: #ff6060;
}
.terminal-yellow {
color: #ffff60;
}
.terminal-blue {
color: #80c0ff;
}