main.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129
  1. /*
  2. * Override jVectorMap CSS (adapt it to leaflet)
  3. */
  4. .jvectormap-label {
  5. background: white;
  6. box-shadow: 0 3px 14px rgba(0,0,0,0.4);
  7. position: absolute;
  8. text-align: left;
  9. color: black;
  10. z-index: 1100;
  11. }
  12. .jvectormap-zoomin, .jvectormap-zoomout {
  13. color: black;
  14. background: white;
  15. box-shadow: 0 1px 7px rgba(0,0,0,0.65);
  16. width: 20px;
  17. height: 20px;
  18. }
  19. .jvectormap-zoomin {
  20. font: bold 18px 'Lucida Console', Monaco, monospace;
  21. }
  22. .jvectormap-zoomout {
  23. top: 38px;
  24. font: bold 18px 'Lucida Console', Monaco, monospace;
  25. }
  26. /*
  27. * to make navbar stay at the top (based on http://stackoverflow.com/questions/16521435/make-twitter-bootstrap-navbar-go-to-top-of-page-on-collapse)
  28. */
  29. @media (max-width: 980px) {
  30. .navbar {
  31. position: absolute;
  32. top: 0;
  33. }
  34. }
  35. .requestButtonSize {
  36. width: 49%;
  37. }
  38. /*get incidents becomes two lines at 1847px*/
  39. @media (max-width: 1680px) {
  40. .requestButtonSize {
  41. width: 100%;
  42. }
  43. }
  44. .navbar-offset {
  45. margin-top: 40px;
  46. }
  47. /*
  48. * outline for elements for which help exists in help view
  49. * (does not increase the elements size)
  50. */
  51. .help-outline {
  52. outline: 3px solid #00AA00;
  53. }
  54. /*
  55. * border for elements for which help exists in help view
  56. * (for buttons, table div and statistic div because it looks better that way;
  57. * does increase the elements size)
  58. */
  59. .help-border {
  60. border-style: solid;
  61. border-color: #00AA00;
  62. border-width: 3px;
  63. }
  64. /*
  65. * legend for maps to show keyboard control
  66. */
  67. .legend-wasd, .legend-up, .legend-down, .legend-toggle {
  68. background-color: #ffffff;
  69. z-index: 1;
  70. position: absolute;
  71. bottom: 5px;
  72. padding: 3px;
  73. height: 8px;
  74. font: bold 10px 'Lucida Console', Monaco, monospace;
  75. text-align: center;
  76. line-height: 8px; /* same as height for vertical center text alignment */
  77. cursor: default;
  78. -webkit-border-radius: 3px;
  79. -moz-border-radius: 3px;
  80. border-radius: 3px;
  81. box-shadow: 0 1px 7px rgba(0,0,0,0.65);
  82. }
  83. .legend-wasd {
  84. left: 5px;
  85. width: 50px;
  86. }
  87. .legend-up {
  88. left: 65px;
  89. width: 7px;
  90. background-image: url('./extern/bootstrap/images/glyphicons-halflings.png');
  91. }
  92. .legend-down {
  93. left: 82px;
  94. width: 7px;
  95. background-image: url('./extern/bootstrap/images/glyphicons-halflings.png');
  96. }
  97. .legend-toggle {
  98. left: 100px;
  99. width: 15px;
  100. }
  101. /* tooltip correct "z-index", based on http://stackoverflow.com/questions/16863015/bootstrap-tooltip-working-but-hidden-due-to-z-index*/
  102. .tooltip {
  103. position: fixed;
  104. }
  105. /* override globe.css height field */
  106. .globe-background {
  107. height: 80%;
  108. width: 80%;
  109. }
  110. /* maps */
  111. .maps {
  112. position: absolute;
  113. width: 80%;
  114. height: 80%;
  115. display:none;
  116. }