checkpoint: for #192: fix bug in general search, css tweaks
checkpoint: search functionality for #192, #197