diff --git a/resources/web/guide/css/common.css b/resources/web/guide/css/common.css index a58011651d..6044865d43 100644 --- a/resources/web/guide/css/common.css +++ b/resources/web/guide/css/common.css @@ -4,6 +4,7 @@ border: 0; margin: 0; font-family: "system-ui", "Segoe UI", Roboto, Oxygen, Ubuntu, "Fira Sans", "Droid Sans", "Helvetica Neue", sans-sans; + user-select: none; } html diff --git a/resources/web/homepage/css/home.css b/resources/web/homepage/css/home.css index 91311d2efc..265bf7abf5 100644 --- a/resources/web/homepage/css/home.css +++ b/resources/web/homepage/css/home.css @@ -5,6 +5,7 @@ margin: 0px; font-family: "system-ui", "Segoe UI", Roboto, Oxygen, Ubuntu, "Fira Sans", "Droid Sans", "Helvetica Neue", sans-sans; border-color: #D7D7D7; + user-select: none; } html, body { diff --git a/resources/web/model/model.css b/resources/web/model/model.css index 464d71c363..88756f91f6 100644 --- a/resources/web/model/model.css +++ b/resources/web/model/model.css @@ -4,6 +4,7 @@ padding: 0px; border: 0px; font-family: "system-ui", "Segoe UI", Roboto, Oxygen, Ubuntu, "Fira Sans", "Droid Sans", "Helvetica Neue", sans-sans; + user-select: none; } html