search.css 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122
  1. summary {
  2. /* This should hide the marker */
  3. display: block;
  4. font-size: 1.17em;
  5. font-weight: bold;
  6. margin: 0 auto 10px auto;
  7. cursor: pointer;
  8. }
  9. summary::-webkit-details-marker,
  10. summary::marker { display: none; }
  11. summary:before {
  12. border-radius: 5px;
  13. content: "[ + ]";
  14. margin: -2px 10px 0 10px;
  15. padding: 1px 0 3px 0;
  16. text-align: center;
  17. width: 40px;
  18. }
  19. details[open] > summary:before { content: "[ − ]"; }
  20. #filters-box {
  21. padding: 10px 20px 20px 10px;
  22. margin: 10px 15px;
  23. }
  24. #filters-flex {
  25. display: flex;
  26. flex-wrap: wrap;
  27. flex-direction: row;
  28. align-items: flex-start;
  29. align-content: flex-start;
  30. justify-content: flex-start;
  31. }
  32. fieldset, legend {
  33. display: contents !important;
  34. border: none !important;
  35. margin: 0 !important;
  36. padding: 0 !important;
  37. }
  38. .filter-column {
  39. display: inline-block;
  40. display: inline-flex;
  41. width: max-content;
  42. min-width: max-content;
  43. max-width: 16em;
  44. margin: 15px;
  45. flex-grow: 2;
  46. flex-basis: auto;
  47. flex-direction: column;
  48. }
  49. .filter-name, .filter-options {
  50. display: block;
  51. padding: 5px 10px;
  52. margin: 0;
  53. text-align: start;
  54. }
  55. .filter-options div { margin: 6px 0; }
  56. .filter-options div * { vertical-align: middle; }
  57. .filter-options label { margin: 0 10px; }
  58. #filters-apply {
  59. text-align: right; /* IE11 only */
  60. text-align: end; /* Override for compatible browsers */
  61. }
  62. /* Error message */
  63. .no-results-error {
  64. text-align: center;
  65. line-height: 180%;
  66. font-size: 110%;
  67. padding: 15px 15px 125px 15px;
  68. }
  69. /* Responsive rules */
  70. @media only screen and (max-width: 800px) {
  71. summary { font-size: 1.30em; }
  72. #filters-box {
  73. margin: 10px 0 0 0;
  74. padding: 0;
  75. }
  76. #filters-apply {
  77. text-align: center;
  78. padding: 15px;
  79. }
  80. }
  81. /* Light theme */
  82. .light-theme #filters-box {
  83. background: #dfdfdf;
  84. }
  85. @media (prefers-color-scheme: light) {
  86. .no-theme #filters-box {
  87. background: #dfdfdf;
  88. }
  89. }
  90. /* Dark theme */
  91. .dark-theme #filters-box {
  92. background: #373737;
  93. }
  94. @media (prefers-color-scheme: dark) {
  95. .no-theme #filters-box {
  96. background: #373737;
  97. }
  98. }