.bg-pipes{background-image:url(../images/border.jpg);background-position:center top;background-repeat:repeat-x;background-size:900px 10px}#search{background:var(--elementInverse);color:var(--gray);padding:.7rem}#search:hover{color:var(--primary);border-color:var(--primary)}#search .keyboard-shortcut{background:var(--surface1);padding:.15rem .25rem}