250c833895
Also updates a lot of other things (brush size now independent from scale factor, split some files, and a lot other things; removed erase safeguard as now erase is supported by undo/redo; tried adding github prettier autoformatting to pull requests; may have some other things as well Signed-off-by: Victor Seiji Hariki <victorseijih@gmail.com> Former-commit-id: 0ba21f23c69f9dca2c3189a838b945900b01f81d
38 lines
665 B
CSS
38 lines
665 B
CSS
#historyContainer > .info {
|
|
padding: 0;
|
|
}
|
|
|
|
#history.history {
|
|
height: 200px;
|
|
overflow-y: scroll;
|
|
overflow-x: hidden;
|
|
}
|
|
|
|
#history.history > .history-item {
|
|
cursor: pointer;
|
|
|
|
padding: 5px;
|
|
padding-top: 2px;
|
|
padding-bottom: 2px;
|
|
}
|
|
|
|
#history.history > .history-item {
|
|
background-color: #0000;
|
|
}
|
|
#history.history > .history-item:hover {
|
|
background-color: #fff5;
|
|
}
|
|
|
|
#history.history > .history-item.current {
|
|
background-color: #66f5;
|
|
}
|
|
#history.history > .history-item.current:hover {
|
|
background-color: #66f5;
|
|
}
|
|
|
|
#history.history > .history-item.future {
|
|
background-color: #4445;
|
|
}
|
|
#history.history > .history-item.future:hover {
|
|
background-color: #ddd5;
|
|
}
|