silverwind 7d5ec1fa46 Fix comment triangles and tweak inline comment margins (#13554) ...

- Fix various miscolored comment bubble triangles
- Tweak padding on inline comment boxes

2020-11-16 21:53:04 +08:00

..

theme-arc-green.less

Fix comment triangles and tweak inline comment margins (#13554)

2020-11-16 21:53:04 +08:00