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.

36 lines
667 B

  1. div.annotation {
  2. outline: 1px solid;
  3. padding: 0.25em 1ch;
  4. margin-bottom: 1em;
  5. h2 {
  6. font-size: 1em;
  7. margin: 0;
  8. text-align: center;
  9. border-bottom: 0.25px dotted;
  10. margin-bottom: 0.25em;
  11. padding-bottom: 0.25em;
  12. }
  13. p, div.markdown-content > p {
  14. margin-top: 0.5em;
  15. }
  16. p:first-of-type, div.markdown-content > p:first-of-type {
  17. margin: 0;
  18. padding: 0;
  19. }
  20. }
  21. div.annotation-level-info {
  22. background-color: rgba(0, 31, 63, 0.5);
  23. color: #08F;
  24. }
  25. div.annotation-level-warning {
  26. background-color: rgba(63, 31, 0, 0.5);
  27. color: #F80;
  28. }
  29. div.annotation-level-error {
  30. background-color: rgba(63, 7, 0, 0.5);
  31. color: #F10;
  32. }