title: Make Gnome top bar font weight bold with CSS?
body: <p>How can I make Gnome's top bar font weight bold?</p>
  
  <p>I found source for <a href="https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/gnome-3-18/data/theme/gnome-shell.css#L581" rel="nofollow noreferrer">gnome-shell.css on GitLab</a> that describes <code>#panel</code> as the UI to target.</p>
  
  <p>I've tried both of these CSS properties on the panel:</p>
  
  <pre class="lang-css prettyprint-override"><code>#panel {
      font-weight: bold;
      /*font-weight: 700;*/
  }
  </code></pre>
  
  <p>Nothing seems to change though. If I set <code>background-color: red</code>, that background change <em>is reflected</em>, so I know my CSS file is working at least.</p>
  
  <p>Here is  screenshot of the top bar UI I'm trying to change:</p>