docs/tutorial/style.css
author Pulkit Goyal <7895pulkit@gmail.com>
Sun, 10 Jun 2018 22:52:11 +0530
changeset 3825 b5dfa78073b9
parent 3376 aad37ffd7d58
permissions -rw-r--r--
evolve: store the old other divergent node after relocation in evolvestate When the content-divergent changes are on different parents and we relocate of the node to the parent of another one, we get a new other-divergent node. We still need to store the older other-divergent in evolvestate so that we can use that information.


/*
.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;
}