Modified the visual appearance
- added a sunken border around the history UI element
Authored by: numere 2017-07-03
Parent: [r169]
Child: [r171]
