css improvments: got rid of green buttons, made navbar sticky, et cetera