Skip to content
  • Benjamin Neff's avatar
    Add dark theme · 08282cea
    Benjamin Neff authored
    Also renamed "Original Dark" to "Original Gray", because it isn't "dark".
    
    closes #7152
    08282cea