/* Color events differently depending on event type */
.INTERNAL { background-color: #FF9933; } /* Orange */
.EXTERNAL { background-color: #003399; } /* Dark blue */
.OPEN { background-color: #838B8B; } /* Gray */ /* original from color scheme - CCCCCC - was too close to the .cancelled light-gray */
.FUNDING { background-color: #99CCCC; } /* Blue-Grayish */
/* Default is a kind of medium blue */


.cancelled { background-color: #D3D3D3 !important;  /*   */
             text-decoration: line-through !important; 
            /* background-image: linear-gradient(transparent 7px,#cc1f1f 7px,#cc1f1f 9px,transparent 9px); */
           }