diagram-js-minimap.css 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687
  1. .djs-minimap {
  2. position: absolute;
  3. top: 20px;
  4. right: 20px;
  5. overflow: hidden;
  6. background-color: rgba(255, 255, 255, 0.9);
  7. border: solid 1px #CCC;
  8. border-radius: 2px;
  9. box-sizing: border-box;
  10. user-select: none;
  11. -moz-user-select: none;
  12. -ms-user-select: none;
  13. -webkit-user-select: none;
  14. }
  15. .djs-minimap:not(.open) {
  16. overflow: hidden;
  17. }
  18. .djs-minimap .map {
  19. display: none;
  20. }
  21. .djs-minimap.open .map {
  22. display: block;
  23. }
  24. .djs-minimap .map {
  25. width: 320px;
  26. height: 180px;
  27. }
  28. .djs-minimap:not(.open) .toggle {
  29. padding: 10px;
  30. text-align: center;
  31. }
  32. .djs-minimap .toggle:before {
  33. content: attr(title);
  34. }
  35. .djs-minimap.open .toggle {
  36. position: absolute;
  37. right: 0;
  38. padding: 6px;
  39. z-index: 1;
  40. }
  41. .djs-minimap .map {
  42. cursor: crosshair;
  43. }
  44. .djs-minimap .viewport {
  45. /* fill: rgba(255, 116, 0, 0.25); */
  46. fill: none;
  47. stroke: none;
  48. }
  49. .djs-minimap .viewport-dom {
  50. position: absolute;
  51. border: solid 2px orange;
  52. border-radius: 2px;
  53. box-sizing: border-box;
  54. cursor: move;
  55. }
  56. .djs-minimap:not(.open) .viewport-dom {
  57. display: none;
  58. }
  59. .djs-minimap.open .overlay {
  60. position: absolute;
  61. top: 0;
  62. right: 0;
  63. bottom: 0;
  64. left: 0;
  65. background: rgba(255, 255, 255, 0.2);
  66. pointer-events: none;
  67. }
  68. .djs-minimap .cursor-crosshair {
  69. cursor: crosshair;
  70. }
  71. .djs-minimap .cursor-move {
  72. cursor: move;
  73. }