]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #76374 - pickfire:patch-4, r=Cldfire
authorDylan DPC <dylan.dpc@gmail.com>
Tue, 8 Sep 2020 23:35:13 +0000 (01:35 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Sep 2020 23:35:13 +0000 (01:35 +0200)
commit3cec71e9b44f719e60e5d12cfe4c45e5c7b3b606
tree0595daa9c7b4580a66f85660f07a24050a4d6b84
parent4ac88c01c3ad5a65e3563d14aea2151d277b3010
parentd80415a3bf0990efa9618273d30bb2c6d23b6f43
Rollup merge of #76374 - pickfire:patch-4, r=Cldfire

Improve ayu doc source line number contrast

Improve contrast of foreground line number.

Before

![image](https://user-images.githubusercontent.com/4687791/92305696-1bf2ab80-efbc-11ea-8b5c-a24c4f6261e0.png)

After

![image](https://user-images.githubusercontent.com/4687791/92305700-2a40c780-efbc-11ea-9061-dbfcb1e71980.png)

r? @Cldfire

I think we should add the line for light and dark theme too, it looks better and clearer that way.