document properties icon, used in editor preferences