anchor.diff:    background-color: lightgrey;
     padding-top:20px;
     /*font-size:100px;*/
  +  cursor: not-allowed;
     color:red;
   }
   /*.sample_or_choose {
  
positive.code: 
  window.phase = 'sample';
  function sampleOrChooseState(state) {
    if (state == 'sample' && ((data.user_ids.length > 1) && data.chosen_buttons.length == data.user_ids.length - 1)) { //last choice
      alert('The other option was chosen by another player, thus you have to choose the remaining option.')
      return;
    }
  
negative.code:   height: 100%;
    width: 80%;
    opacity: 0.6;
    font-size:50px;
    color: black;
    font-weight: bold;
    background-color: lightgrey;
    z-index: 999;
  