1
2
3
4
5
6
7
8
9
10
11
| @color: #00fff6;
| @color-highlight: #fff700;
| @color-gray: #C0C4CC;
| @color-title: white;
| @color-over: white;
| @color-tool:#C0C4CC;
| @background-color: rgba(0, 16, 30, .8);
| @background-color-light: rgba(40, 50, 100, .4);
| @background-color-split: rgba(0, 255, 246, .14);
| @background-color-tools: #1A4951;
| @border-radius: .03rem;
|
|
