play: block; margin-top: 5px; }
  #area input, .ui-menu { width: 120px; }
  .bold { font-weight: bold; }
</style>

<!-- JS -->
<script src="../core/core.js"></script>
<script src="../core/d3.v3.min.js"></script>
<script src="../core/jquery-ui/external/jquery/jquery.js"></script>
<script src="../core/jquery-ui/jquery-ui.min.js"></script>
<script src="../common/ui_utils.js"></script>

<script>
core.EPISODE_MAX_TIME = 2000000;  // 2000 seconds

var genProblem = function() {
  var task_state = -1.0;
  // click-