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