-
Jacob Schatz authored
Changed padding & background color for highlighted notes Closes #12453 ![Screen_Shot_2016-02-23_at_11.18.59](/uploads/19150d884fd1175fe0df5f6daee64206/Screen_Shot_2016-02-23_at_11.18.59.png) See merge request !2937
fa82f67f
To find the state of this project's repository at the time of any of these versions, check out
the tags.