various improvement

font awesome for docs, button style consistency, type fixes