/* print */
.border-outer-wrap { margin-top: 4px !important; }

.searchmatch { background-color: #ffff00 !important; }