11 header .brand a:hover{
12 text-decoration: none;
22 display: inline-block;
27 header #last-updated {
41 form .checkbox-inline {
52 display: inline-block;
62 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) {