globalSearch.styl 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121
  1. .global-search-board-wrapper
  2. border-radius: 8px
  3. //padding: 0.5rem
  4. min-width: 400px
  5. border-width: 8px
  6. border-color: grey
  7. border-style: solid
  8. margin-bottom: 2rem
  9. margin-right: auto
  10. margin-left: auto
  11. .global-search-board-title
  12. font-size: 1.4rem
  13. font-weight: bold
  14. padding: 0.5rem
  15. background-color: grey
  16. color: white
  17. .global-search-swimlane-title
  18. font-size: 1.1rem
  19. font-weight: bold
  20. padding: 0.5rem
  21. padding-bottom: 0.4rem
  22. margin-top: 0
  23. margin-bottom: 0.5rem
  24. //border-top: black 1px solid
  25. //border-bottom: black 1px solid
  26. text-align: center
  27. .swimlane-default-color
  28. background-color: lightgrey
  29. .global-search-list-title
  30. font-weight: bold
  31. font-size: 1.1rem
  32. //padding-bottom: 0
  33. //margin-bottom: 0
  34. text-align: center
  35. margin-bottom: 0.7rem
  36. .global-search-list-wrapper
  37. margin: 1rem
  38. border-radius: 5px
  39. padding: 1.5rem
  40. padding-top: 0.75rem
  41. display: inline-block
  42. min-width: 250px
  43. max-width: 350px
  44. .global-search-card-wrapper
  45. margin-top: 0
  46. margin-bottom: 10px
  47. .global-search-results-list-wrapper
  48. max-width: 500px
  49. margin-right: auto
  50. margin-left: auto
  51. .global-search-field-name
  52. font-weight: bold
  53. .global-search-context
  54. display: inline-block
  55. .global-search-context-separator
  56. font-weight: bold
  57. .global-search-context-list
  58. margin-bottom: 0.7rem
  59. .global-search-error-messages
  60. color: darkred
  61. .global-search-page
  62. width: 40%
  63. min-width: 400px
  64. margin-right: auto
  65. margin-left: auto
  66. line-height: 150%
  67. .global-search-page h1
  68. margin-top: 2rem;
  69. .global-search-page h2
  70. margin-top: 1rem;
  71. .global-search-query-input
  72. width: 90% !important
  73. margin-right: auto
  74. margin-left: auto
  75. .global-search-operator
  76. font-family: Courier
  77. .global-search-value
  78. font-family: Courier
  79. font-style: italic
  80. code
  81. color: black
  82. background-color: lightgrey
  83. padding: 0.1rem !important
  84. font-size: 0.8rem !important
  85. .list-title
  86. background-color: darkgray
  87. .global-search-footer
  88. border: none
  89. width: 100%
  90. .global-search-next-page
  91. border: none
  92. text-align: right;
  93. .global-search-previous-page
  94. border: none
  95. text-align: left;
  96. .global-search-instructions li
  97. margin-bottom: 0.3rem