# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1596294091 -7200
# Node ID 8411a274448eb8863a2cee91c7a5097402dd4654
# Parent  7397d81dd63306d19394010dab70c82f63e812c8
bulma (css): new `is-not-selectable` class

diff -r 7397d81dd633 -r 8411a274448e sat_templates/templates/bulma/static/styles.css
--- a/sat_templates/templates/bulma/static/styles.css	Sat Aug 01 17:01:27 2020 +0200
+++ b/sat_templates/templates/bulma/static/styles.css	Sat Aug 01 17:01:31 2020 +0200
@@ -104,6 +104,10 @@
  * selections *
  **************/
 
+.is-not-selectable {
+    user-select: none;
+}
+
 .selected_for_deletion {
     outline: solid red 0.25rem;
 }