editor.less 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071
  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. li {
  40. float: left;
  41. margin-right: @editorPadding;
  42. .btn {
  43. padding-left: 7px;
  44. padding-right: 7px;
  45. }
  46. }
  47. }
  48. }
  49. }
  50. .form-container {
  51. .editor {
  52. border-color: darken(@editorBackground, 20%);
  53. .editor-actions {
  54. border-top-color: darken(@editorBackground, 20%);
  55. }
  56. }
  57. }