12 header .brand a:hover{
13 text-decoration: none;
23 display: inline-block;
28 header #last-updated {
42 form .checkbox-inline {
53 display: inline-block;
63 display: inline-block;
79 background-color: rgba(255, 255, 255, 0.7);
90 border: 2px solid #D7E7FF;
97 background-color: #D9E7F7;
98 border-color: #9DB9E4;
100 .result.highlight .details {
137 @media (max-width: 768px) {