editor.less 665 B

123456789101112131415161718192021222324252627282930313233343536
  1. //
  2. // Editor
  3. // --------------------------------------------------
  4. @editor-border: darken(@gray-lighter, 15%);
  5. .editor-border {
  6. background-color: #fff;
  7. border: 1px solid @editor-border;
  8. border-radius: @border-radius-base;
  9. }
  10. .form-control {
  11. // remove border and resizing
  12. border: none;
  13. resize: none;
  14. // remove shadow from control
  15. &, &:focus, &:active {
  16. .box-shadow(none);
  17. }
  18. }
  19. .editor-footer {
  20. border-top: 1px solid @editor-border;
  21. padding: @padding-base-vertical @padding-base-horizontal;
  22. overflow: auto;
  23. .pull-left {
  24. margin-right: @padding-base-horizontal;
  25. }
  26. .pull-right {
  27. margin-left: @padding-base-horizontal;
  28. }
  29. }