status.github.com: Fix red message box
Merge branch 'master' of https://github.com/StylishThemes/GitHub-Dark

* 'master' of https://github.com/StylishThemes/GitHub-Dark: (49 commits)
  Discussions: Fix header tag border again
  flash (blue notices) use better contrast colors
  version bump
  Commit page: Fix anonymous author name color
  Add integrations page styling
  Code: set font size on pre
  Made green text a bit more vibrant, using GitHub's color
  Member lists: Fix hover
  Fork selection popup: Fix hover text color
  Fix timeline merge PR border (green) & merged (purple) styling
  Discussions: Fix tag border
  Commit page: Fix author text color
  Discussions: Fix mentions text color
  version bump
  Restore search bar focus highlight. Fixes #120
  Fix new commit-sha
  Add border to list of Pull Requests
  Discussion: Fix merged PR Icon
  Discussions: Fix PR footer text color
  ok, no more bubbles
  ...
status.github.com: More color tweaks