Separate toolbox items into independently-wrappable "words" (#554)

tc39 · Sep 4, 2023 · 65103ee · 65103ee
1 parent b9e720f
commit 65103ee
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/css/elements.css b/css/elements.css
@@ -1204,13 +1204,14 @@ li.menu-search-result-term:before {
  background: #ddd;
  border: 1px solid #aaa;
  color: #eee;
- padding: 5px;
+ padding: 5px 7px;
  border-radius: 3px;
 }
 
 .toolbox a {
  text-decoration: none;
- padding: 0 5px;
+ padding: 0 3px;
+ white-space: nowrap;
 }
 
 .toolbox a:hover {

diff --git a/js/menu.js b/js/menu.js
@@ -902,7 +902,9 @@ let Toolbox = {
  referencePane.showReferencesFor(this.entry);
  });
  this.$container.appendChild(this.$permalink);
+ this.$container.appendChild(document.createTextNode(' '));
  this.$container.appendChild(this.$pinLink);
+ this.$container.appendChild(document.createTextNode(' '));
  this.$container.appendChild(this.$refsLink);
  document.body.appendChild(this.$outer);
  },