2017-05-22 07:16:24 +08:00
|
|
|
.terminal {
|
2017-08-23 10:11:04 +08:00
|
|
|
font-family: "DejaVu Sans Mono", "Everson Mono", FreeMono, Menlo, Terminal, monospace, "Apple Symbols";
|
2017-05-22 07:16:24 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
.xterm-overlay {
|
2017-08-23 10:11:04 +08:00
|
|
|
font-family: "DejaVu Sans Mono", "Everson Mono", FreeMono, Menlo, Terminal, monospace, "Apple Symbols";
|
2017-05-22 07:16:24 +08:00
|
|
|
border-radius: 15px;
|
|
|
|
font-size: xx-large;
|
|
|
|
color: black;
|
|
|
|
background: white;
|
|
|
|
opacity: 0.75;
|
|
|
|
padding: 0.2em 0.5em 0.2em 0.5em;
|
|
|
|
position: absolute;
|
|
|
|
top: 50%;
|
|
|
|
left: 50%;
|
|
|
|
transform: translate(-50%, -50%);
|
|
|
|
user-select: none;
|
|
|
|
transition: opacity 180ms ease-in;
|
|
|
|
}
|