looking for a certain cookie,like a soft shortbread/sugar,used mainly for holiday cookies..xmas tree/pumpkin. ?

i remember getting these cookies in elementary school lunches during the holidays…..the only thing i can think of them tasty like is a soft shortbread….add food coloring for x mas tree shapes or pumpkin shapes etc.