font-feature-settings: "liga" 0;
position: relative;
user-select: none;
+ -ms-user-select: none;
+ -webkit-user-select: none;
}
.terminal.focus,
position: absolute;
top: 0;
left: 0;
+ z-index: 1;
+ opacity: 0.3;
+ pointer-events: none;
}
.terminal .xterm-selection div {
position: absolute;
- background-color: #555;
+ background-color: #fff;
}
/*