sider-defindexer issueshttps://gl.kwarc.info/jucovschi/sider-defindexer/-/issues2018-04-07T17:35:36Zhttps://gl.kwarc.info/jucovschi/sider-defindexer/-/issues/4Improve search UX2018-04-07T17:35:36ZConstantin JucovschiImprove search UXWould be nice if search interface from "http://localhost:8080/defindexer/app/search" could be made to look better. Would be nice if search interface from "http://localhost:8080/defindexer/app/search" could be made to look better. End-January DemoAlexandru ToaderAlexandru Toader