Loading

Revision differences

Old revision #pvjyhv0keNew revision #p52cdbmqb
12@define-color dark_bg_color #350000;  12@define-color dark_bg_color #350000;  
13  13  
14* {  14* {  
15  font: 8pt Sans;  15  font: 9pt RobotoMedium;
16  color: @fg_color;  16  color: @fg_color;  
17  background-color: @bg_color;  17  background-color: @bg_color;  
18  border-color: #111111;  18  border-color: #111111;