change evaluate and proof to use function getEvaluateDict
adjust some position & css
finish reaper just for first step