!!!!
! Oct: Class resource for xoct
!!!!
Oct*size: 3
Oct*mode: 4
Oct*orient: false
Oct*mono: false
Oct*foreground: cyan
Oct*background: navyblue
Oct*faceColor0: Red
Oct*faceColor1: Blue
Oct*faceColor2: White
Oct*faceColor3: Magenta
Oct*faceColor4: Orange
Oct*faceColor5: Pink
Oct*faceColor6: Green
Oct*faceColor7: Yellow