options-panel.css 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108
  1. /* This Source Code Form is subject to the terms of the Mozilla Public
  2. * License, v. 2.0. If a copy of the MPL was not distributed with this
  3. * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
  4. :root{
  5. -moz-user-select: none;
  6. }
  7. #options-panel-container {
  8. overflow: auto;
  9. }
  10. #options-panel {
  11. display: block;
  12. }
  13. .options-vertical-pane {
  14. display: inline;
  15. float: left;
  16. }
  17. .options-vertical-pane {
  18. margin: 5px;
  19. width: calc(100%/3 - 10px);
  20. min-width: 320px;
  21. padding-inline-start: 5px;
  22. box-sizing: border-box;
  23. }
  24. /* Snap to 50% width once there is not room for 3 columns anymore.
  25. This prevents having 2 columns showing in a row, but taking up
  26. only ~66% of the available space. */
  27. @media (max-width: 1000px) {
  28. .options-vertical-pane {
  29. width: calc(100%/2 - 10px);
  30. }
  31. }
  32. .options-vertical-pane fieldset {
  33. border: none;
  34. }
  35. .options-vertical-pane fieldset legend {
  36. font-size: 1.4rem;
  37. margin-inline-start: -15px;
  38. margin-bottom: 3px;
  39. cursor: default;
  40. }
  41. .options-vertical-pane fieldset + fieldset {
  42. margin-top: 1rem;
  43. }
  44. .options-groupbox {
  45. margin-inline-start: 15px;
  46. padding: 2px;
  47. }
  48. .options-groupbox label {
  49. display: flex;
  50. padding: 4px 0;
  51. align-items: center;
  52. }
  53. /* Add padding for label of select inputs in order to
  54. align it with surrounding checkboxes */
  55. .options-groupbox label span:first-child {
  56. padding-inline-start: 5px;
  57. }
  58. .options-groupbox label span + select {
  59. margin-inline-start: 4px;
  60. }
  61. .options-groupbox.horizontal-options-groupbox label {
  62. display: inline-flex;
  63. align-items: flex-end;
  64. }
  65. .options-groupbox.horizontal-options-groupbox label + label {
  66. margin-inline-start: 4px;
  67. }
  68. .options-groupbox > *,
  69. .options-groupbox > .hidden-labels-box > checkbox {
  70. padding: 2px;
  71. }
  72. .options-groupbox > .hidden-labels-box {
  73. padding: 0;
  74. }
  75. .options-citation-label {
  76. display: inline-block;
  77. font-size: 1rem;
  78. font-style: italic;
  79. /* To align it with the checkbox */
  80. padding: 4px 0 0;
  81. padding-inline-end: 4px;
  82. }
  83. #devtools-sourceeditor-keybinding-select {
  84. min-width: 130px;
  85. }
  86. #devtools-sourceeditor-tabsize-select {
  87. min-width: 80px;
  88. }