editor.less 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  1. // Editor style
  2. // -------------------------
  3. .editor {
  4. background-color: @editorBackground;
  5. border: 1px solid darken(@editorBackground, 10%);
  6. border-radius: @baseBorderRadius;
  7. .editor-error {
  8. padding: @editorPadding;
  9. padding-bottom: 0px;
  10. margin-bottom: @editorPadding * -1;
  11. .help-block {
  12. color: @red;
  13. font-weight: bold;
  14. }
  15. }
  16. .editor-input {
  17. padding: @editorPadding;
  18. &>div {
  19. margin-right: 2px;
  20. textarea {
  21. border: none;
  22. box-shadow: none;
  23. margin: @editorPadding * -1;
  24. padding: @editorPadding;
  25. width: 100%;
  26. font-family: @monoFontFamily;
  27. }
  28. }
  29. }
  30. .editor-actions {
  31. border-top: 1px solid darken(@editorBackground, 10%);
  32. overflow: auto;
  33. padding: @editorPadding;
  34. &>.btn {
  35. margin-left: @baseFontSize;
  36. }
  37. .editor-tools {
  38. margin: 0px;
  39. margin-right: @editorPadding;
  40. li {
  41. float: left;
  42. margin-right: @editorPadding;
  43. .btn {
  44. padding-left: 7px;
  45. padding-right: 7px;
  46. }
  47. }
  48. }
  49. .editor-help {
  50. line-height: @baseLineHeight + @editorPadding;
  51. }
  52. }
  53. }
  54. .form-container {
  55. .editor {
  56. border-color: darken(@editorBackground, 20%);
  57. .editor-actions {
  58. border-top-color: darken(@editorBackground, 20%);
  59. }
  60. }
  61. }