WikimediaUI theme: Use `bold` for primary tools
WikimediaUI theme: Use `bold` for primary tools

Change-Id: I397e7c2a3aaa7718d71e1d14d032cf7f82ae3036

wikimedia/oojs-ui,wikimedia/oojs-ui,wikimedia/oojs-ui,wikimedia/oojs-ui