!!!!
! Dino: Class resource for xdino
!!!!
Dino*mode: 3
Dino*orient: false
Dino*practice: false
Dino*mono: false
Dino*reverse: false
Dino*foreground: Cyan
Dino*background: NavyBlue
Dino*pieceBorder: Gray
Dino*faceColor0: Orange
Dino*faceColor1: Pink
Dino*faceColor2: White
Dino*faceColor3: Violet
Dino*faceColor4: Yellow
Dino*faceColor5: Blue
Dino*name: nobody
