The frontend/UI server, written in JS using the MarkoJS library
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 

37 lines
667 B

div.annotation {
outline: 1px solid;
padding: 0.25em 1ch;
margin-bottom: 1em;
h2 {
font-size: 1em;
margin: 0;
text-align: center;
border-bottom: 0.25px dotted;
margin-bottom: 0.25em;
padding-bottom: 0.25em;
}
p, div.markdown-content > p {
margin-top: 0.5em;
}
p:first-of-type, div.markdown-content > p:first-of-type {
margin: 0;
padding: 0;
}
}
div.annotation-level-info {
background-color: rgba(0, 31, 63, 0.5);
color: #08F;
}
div.annotation-level-warning {
background-color: rgba(63, 31, 0, 0.5);
color: #F80;
}
div.annotation-level-error {
background-color: rgba(63, 7, 0, 0.5);
color: #F10;
}