;; button face may not be visible. Using overlays avoids this.
;;
;; Using `define-button-type' to define default properties for buttons
;; button face may not be visible. Using overlays avoids this.
;;
;; Using `define-button-type' to define default properties for buttons