cleanup protocol spec doc; update sidebar style