2022-05-25 09:07:59 +08:00
|
|
|
|
2022-06-03 09:19:10 +08:00
|
|
|
/* this css class is used to enable copying in text with the mouse. */
|
2022-05-25 09:07:59 +08:00
|
|
|
.text-selectable {
|
|
|
|
|
|
|
|
|
|
-webkit-user-select: text;
|
|
|
|
|
-moz-user-select: text;
|
|
|
|
|
-ms-user-select: text;
|
|
|
|
|
user-select: text;
|
2022-06-09 19:46:47 +08:00
|
|
|
cursor:auto
|
2022-05-25 09:07:59 +08:00
|
|
|
|
2023-07-31 16:15:48 +08:00
|
|
|
}
|
