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.

73 lines
1.3KB

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