You are here

filter.theme.css in Drupal 10

Styling for the Filter module.

File

core/themes/olivero/css/theme/filter.theme.css
View source
  1. /*
  2. * DO NOT EDIT THIS FILE.
  3. * See the following change record for more information,
  4. * https://www.drupal.org/node/3084859
  5. * @preserve
  6. */
  7. /**
  8. * @file
  9. * Styling for the Filter module.
  10. */
  11. /*
  12. * Media query breakpoints.
  13. * Processed by postcss/postcss-custom-media.
  14. */
  15. /* Navigation related breakpoints */
  16. /* Grid related breakpoints */
  17. /* Grid shifts from 6 to 14 columns. */
  18. /* Width of the entire grid maxes out. */
  19. /**
  20. * Filter information under field.
  21. */
  22. .text-full > .form-item {
  23. margin-bottom: 0;
  24. }
  25. .form-element--editor-format {
  26. vertical-align: top;
  27. }
  28. .filter-wrapper {
  29. margin-top: var(--sp1);
  30. margin-bottom: var(--sp0-5);
  31. }
  32. .filter-wrapper .form-item {
  33. margin: 0;
  34. }
  35. [dir="ltr"] .filter-help {
  36. float: right;
  37. }
  38. [dir="rtl"] .filter-help {
  39. float: left;
  40. }
  41. .filter-help {
  42. padding-top: var(--sp0-5);
  43. padding-bottom: var(--sp0-5);
  44. font-size: var(--font-size-xxs);
  45. }
  46. /**
  47. * Compose tips.
  48. *
  49. * Wraps filter tips on page '/filter/tips[/name]'.
  50. */
  51. .compose-tips__item {
  52. margin-top: var(--sp1-5);
  53. margin-bottom: var(--sp1-5);
  54. }
  55. /**
  56. * Filter guidelines.
  57. */
  58. .filter-guidelines__item {
  59. margin-top: var(--sp1);
  60. font-size: var(--font-size-s);
  61. line-height: var(--line-height-s);
  62. }
  63. .filter-guidelines p {
  64. margin-top: var(--sp0-25);
  65. margin-bottom: 0;
  66. }
  67. /**
  68. * Filter tips.
  69. *
  70. * Long is used on '/filter/tips[/name]', short is used for the filter tips
  71. * below a text format input.
  72. */
  73. .filter-tips--long {
  74. margin-bottom: var(--sp1-5);
  75. }
  76. .filter-tips__item,
  77. .filter-tips--long p {
  78. margin-top: var(--sp0-75);
  79. margin-bottom: var(--sp0-75);
  80. }
  81. .filter-tips__item--short {
  82. margin-top: var(--sp0-25);
  83. margin-bottom: 0;
  84. }