mirror of https://github.com/docker/docs.git
Can now select logs.
This commit is contained in:
parent
000d916693
commit
8645cc60ce
|
@ -199,6 +199,7 @@
|
|||
padding: 1em;
|
||||
font-family: monospace;
|
||||
min-height: @dashboard-content-height;
|
||||
.text-select();
|
||||
}
|
||||
|
||||
.warning-badge {
|
||||
|
|
|
@ -12,3 +12,11 @@
|
|||
-webkit-user-select: none;
|
||||
user-select: none;
|
||||
}
|
||||
|
||||
.text-select() {
|
||||
-ms-user-select: text;
|
||||
-moz-user-select: -moz-text;
|
||||
-khtml-user-select: text;
|
||||
-webkit-user-select: text;
|
||||
user-select: text;
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue