rpd
Version:
RPD is a minimal framework for building Node-Based User Interfaces, powered by Reactive Programming
71 lines (62 loc) • 1.38 kB
CSS
.visual-history {
position: absolute;
width: 400px;
height: 100%;
top: 0;
right: 0;
z-index: 10;
overflow-y: scroll;
font-family: "Fira Code", "Fira Sans", Menlo, "Courier New", sans-serif;
font-size: 10px;
}
.visual-history > ul.list {
margin: 0;
padding: 0;
list-style-type: none;
background-color: darkcyan;
display: flex;
flex-direction: column-reverse;
}
.visual-history > ul.list > li {
border-radius: 4px;
border: 1px solid rgba(255, 255, 255, 0.5);
padding: 3px;
margin: 2px;
flex: 0 0 auto;
}
.visual-history .update-type {
border-radius: 3px;
margin: -2px 2px 2px -2px;
padding: 2px;
background-color: black;
color: white;
}
.visual-history .update-details {
display: inline;
padding-left: 3px;
}
.visual-history > ul.filter {
margin: 0;
padding: 0;
list-style-type: none;
background-color: darkslategray;
font-size: 9px;
}
.visual-history > ul.filter > li {
display: inline-block;
border-radius: 4px;
border: 1px solid rgba(255, 255, 255, 0.5);
padding: 3px;
margin: 2px;
color: white;
}
.visual-history > ul.filter > li input {
margin-left: 5px;
}
.visual-history .counter {
background-color: black;
color: white;
text-align: center;
padding: 5px 0;
border-radius: 10px 10px 0 0;
}