Minor redesign of Export Dialog (#604)

2020-01-29 02:25:47 +02:00
parent 97b11b0f53
commit ba4fc0f1b3
5 changed files with 45 additions and 42 deletions
@@ -0,0 +1,19 @@
+.ProjectName {
+  display: inline-block;
+  cursor: pointer;
+  border: none;
+  height: 2.5rem;
+  line-height: 2.5rem;
+  padding: 0 0.5rem;
+  white-space: nowrap;
+  border-radius: var(--space-factor);
+}
+
+.ProjectName:hover {
+  background-color: #eee;
+}
+
+.ProjectName:focus {
+  outline: none;
+  box-shadow: 0 0 0 2px steelblue;
+}