/* Style the tab */
.tab {
    overflow: hidden;
    border: 1px solid #ccc;
    background-color: #f1f1f1;
  }

  /* Style the tab content */
  .tabcontent {
    display: none;
    padding: 6px 12px;
    border: 1px solid #ccc;
    border-top: none;
  }
 
  #info {
    overflow: scroll; /* Show scrollbars */
    width:100%;
    height:500px;
    resize:both;
    font-family: monospace;
  } 
  
  table.head, table.head tr, table.head td {
    width:100%;
    border: none;
    table-layout:fixed; /* to make masonry working on small screens */ 
    border-collapse:collapse;
  }

  table.head {
    width:100%;
  }

  table.head td {
    width:25%;
    text-align:center;
  }

  #reset, #level, #solve, #opts {
    min-width:50px;
  }



  table.tools0, table.tools0 tr, table.tools0 td,
  table.tools1, table.tools1 tr, table.tools1 td,
  table.body, table.body tr, table.body td {
    width:100%;
    table-layout:fixed; /* to make masonry working on small screens */ 
    border-collapse:collapse;
    overflow: hidden;    
  }

  table.tools0, table.tools1, table.body {
    border:1px solid #C0C0C0;
  }

  table.tools0 {
    margin:auto 0 auto 5px;
    width:30px;
  }


  table.tools0 td, table.body td {
    border:1px dotted #C0C0C0;
    padding:0;
    cursor:pointer;
    overflow: hidden;
  }
  

  table.tools0 td {
    width:15px;
    height:15px;
  }

  table.body td {
    width:5px;
    height:5px;
  }

.fixed {
  background-color:rgb(200,200,200);
}

.na {
  background-color:rgb(200,200,200);
  pointer-events:none;
  opacity:0.5;
}

.ab {
  background-color:rgb(160,160,160);
  color:white;
}

.selected {
 border-color:rgb(140,140,140);
}

.life {
 background-color:rgb(0,0,0);
}