From 97cd79e0837a698f28b8c5625588a2fa4b7cfb88 Mon Sep 17 00:00:00 2001
From: Adorian Doran <adorian@esevo.ro>
Date: Thu, 6 Feb 2025 19:49:23 +0200
Subject: [PATCH] style(next): tweak the editability dropdown

---
 src/public/stylesheets/theme-next/ribbon.css | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/src/public/stylesheets/theme-next/ribbon.css b/src/public/stylesheets/theme-next/ribbon.css
index 592c46397..640ec2447 100644
--- a/src/public/stylesheets/theme-next/ribbon.css
+++ b/src/public/stylesheets/theme-next/ribbon.css
@@ -1,3 +1,23 @@
+/*
+ * Basic properties
+ */
+
+ /* Editability dropdown */
+
+div.editability-dropdown a.dropdown-item {
+    padding: 4px 16px 4px 0;
+    align-items: start !important;
+}
+
+.editability-dropdown .dropdown-item .check {
+    margin-left: 8px;
+}
+
+.editability-dropdown .dropdown-item .description {
+    opacity: .75;
+    font-size: .85em;
+}
+
 /*
  * Owned attributes
  */