error.css 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. div.error{
  2. position: relative;
  3. font-family: monospace;
  4. cursor: pointer;
  5. margin: 0;
  6. padding: 5px;
  7. box-shadow:
  8. 0.15em 0 0 0 black,
  9. 0 0.15em 0 0 black,
  10. 0.15em 0.15em 0 0 black,
  11. 0.15em 0 0 0 black inset,
  12. 0 0.15em 0 0 black inset;
  13. }
  14. div.error>div{
  15. position: relative;
  16. margin: 0;
  17. padding: 0;
  18. }
  19. div.error>div.collapsable>div:first-child{
  20. box-shadow: inset 0 0.15em 0 0 black,
  21. inset 0.15em 0 0 0 black,
  22. 0.15em 0 0 0 black;
  23. }
  24. div.error>div.collapsable>div{
  25. margin: 0;
  26. padding: 5px;
  27. font-size: 1em;
  28. box-shadow: inset 0.15em 0 0 0 black,
  29. 0.15em 0 0 0 black;
  30. }
  31. div.error>div.collapsable>div:last-child{
  32. box-shadow: 0 0.15em 0 0 black,
  33. inset 0.15em 0 0 0 black,
  34. 0.15em 0.15em 0 0 black,
  35. 0.15em 0 0 0 black;
  36. }
  37. div.error>div.collapsable>div.odd{
  38. background-color: lightgrey;
  39. }
  40. div.error>div.collapsable>div:hover{
  41. background-color: lightblue;
  42. }
  43. div.error ul, div.error ul>li, div.error pre{
  44. margin: 0;
  45. }
  46. div.collapsed{
  47. display: none;
  48. }
  49. span.collapse-arrow{
  50. width: 0.5em;
  51. }
  52. span.collapse-arrow:not(.collapsed){
  53. display: inline-block;
  54. transform: rotate(90deg) translateY(-0.3em);
  55. }
  56. span.right{
  57. float: right;
  58. clear: none;
  59. }
  60. div.clear{
  61. clear: both;
  62. }