use the older arxiv-sanity colorscheme for header

This commit is contained in:
Andrej Karpathy
2021-11-27 17:15:40 -08:00
parent a83dbb2138
commit aff7c89695
+1 -1
View File
@@ -6,7 +6,7 @@ body {
} }
#header { #header {
height: 24px; height: 24px;
background-color: #844; background-color: #840000;
color: white; color: white;
padding-top: 8px; padding-top: 8px;
padding-left: 10px; padding-left: 10px;