docs/tutorial/style.css
author Pulkit Goyal <7895pulkit@gmail.com>
Thu, 14 Jun 2018 01:39:33 +0530
changeset 3850 340cf6fbe9e9
parent 3376 aad37ffd7d58
permissions -rw-r--r--
evolve: create resolved cset on successors of current parents While resolving content-divergence, sometimes, the parent can be obsolete and have a successor. We should consider the successors of the parents instead of obsolete parents as that will do something like orphan+content-divergence resolution both at the same time which is powerful and results in a single stack while resolving content-divergence of stacks. The test changes demonstrates that we can now successfully evolve a content divergent stack.


/*
.uk-overflow-container {    
    overflow-y: scroll;
    top: 0;
    bottom: 0;


}*/
table {
    min-width: 100%
}

.video-js {
    min-width:100%; 
    max-width:100%;
    max-height: 100%;
}

.vjs-fullscreen {
    padding-top: 0px
}

::-webkit-scrollbar {
  width: 12px;  /* for vertical scrollbars */
  height: 12px; /* for horizontal scrollbars */
}

::-webkit-scrollbar-track {
  background: rgba(0, 0, 0, 0.1);
}

::-webkit-scrollbar-thumb {
  background: rgba(0, 0, 0, 0.5);
}


.uk-overflow-container  {
    overflow-y: scroll;
    top: 0;
    bottom: 0;
}

em {
    color:#666;
}