Shared Memory Dictionary utilizing Posix IPC semaphores and shared memory segments and offering permanent disk storage of data if required.
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.

coverage.css 1.3KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172
  1. /* Source file styles */
  2. p {
  3. margin: 0;
  4. padding: 0 0 0 .5em;
  5. border-left: 2px solid #ffffff;
  6. white-space: pre;
  7. position: relative;
  8. }
  9. p.mis {
  10. background: #ffdddd;
  11. border-left: 2px solid #ff0000;
  12. }
  13. p.run, p.run.hide_par {
  14. background: #ddffdd;
  15. border-left: 2px solid #00ff00;
  16. }
  17. p.exc {
  18. background: #eeeeee;
  19. border-left: 2px solid #808080;
  20. }
  21. p.par, p.par.hide_run {
  22. background: #ffffaa;
  23. border-left: 2px solid #eeee99;
  24. }
  25. p.hide_run, p.hide_exc, p.hide_mis, p.hide_par,
  26. p.hide_run.hide_par {
  27. background: inherit;
  28. }
  29. span.annotate {
  30. font-family: georgia;
  31. color: #666;
  32. float: right;
  33. padding-right: .5em;
  34. }
  35. p.hide_par span.annotate {
  36. display: none;
  37. }
  38. span.annotate.long {
  39. display: none;
  40. }
  41. p:hover span.annotate.long {
  42. display: block;
  43. max-width: 50%;
  44. white-space: normal;
  45. float: right;
  46. position: absolute;
  47. top: 1.75em;
  48. right: 1em;
  49. width: 30em;
  50. height: auto;
  51. color: #333;
  52. background: #ffffcc;
  53. border: 1px solid #888;
  54. padding: .25em .5em;
  55. z-index: 999;
  56. border-radius: .2em;
  57. box-shadow: #cccccc .2em .2em .2em;
  58. }
  59. /* Syntax coloring */
  60. .com {
  61. color: green;
  62. font-style: italic;
  63. line-height: 1px;
  64. }
  65. .key {
  66. font-weight: bold;
  67. line-height: 1px;
  68. }
  69. .str {
  70. color: #000080;
  71. }