(octagon 100 #:border-color "royalblue")