nicholas@2844: [draggable] {
nicholas@2844:     -moz-user-select: none;
nicholas@2844:     -khtml-user-select: none;
nicholas@2844:     -webkit-user-select: none;
nicholas@2844:     user-select: none;
nicholas@2844:     /* Required to make elements draggable in old WebKit */
nicholas@2844:     -khtml-user-drag: element;
nicholas@2844:     -webkit-user-drag: element;
nicholas@2844: }
nicholas@2844: .ordinal-element {
nicholas@2844:     width: 250px;
nicholas@2844:     height: 250px;
nicholas@2844:     background: #bbffbb;
nicholas@2844:     border: 2px #050 solid;
nicholas@2844:     border-radius: 10px;
nicholas@2844:     float: left;
nicholas@2844:     margin: 10px 5px;
nicholas@2844:     text-align: center;
nicholas@2844:     cursor: move;
nicholas@2844: }
nicholas@2844: .disabled {
nicholas@2844:     background-color: grey;
nicholas@2844: }
nicholas@2844: .playing {
nicholas@2844:     background-color: #ffbbbb;
nicholas@2844:     border: 2px #500 solid;
nicholas@2844: }
nicholas@2844: .dragging {
nicholas@2844:     opacity: 0.4;
nicholas@2844: }
nicholas@2844: .over {
nicholas@2844:     border-style: dashed;
nicholas@2844: }
nicholas@2844: .ordinal-element-label {
nicholas@2844:     font-size: 2em;
nicholas@2844: }
nicholas@2954: div#outside-reference-holder {
nicholas@2954:     display: flex;
nicholas@2954:     align-content: center;
nicholas@2954:     justify-content: center;
nicholas@2954:     margin-bottom: 5px;
nicholas@2954:     min-height: 20px;
nicholas@2954: }