Make the edit on github button lighter

Some people are teaching using these pages. We need to minimize clutter.