htmleditor.css 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788
  1. * {
  2. box-sizing: content-box;
  3. }
  4. html {
  5. --color-bg: #f7f7f7;
  6. --color-primary: #54C7C5;
  7. }
  8. body {
  9. font-size: 14px;
  10. line-height: 1.75;
  11. }
  12. img {
  13. cursor: zoom-in;
  14. }
  15. a {
  16. color: var(--color-primary);
  17. }
  18. a:hover {
  19. text-decoration: underline;
  20. }
  21. ul,ol {
  22. margin: 10px 0;
  23. padding: 0 0 0 20px;
  24. font-size: 14px;
  25. }
  26. pre {
  27. padding: .25em 0;
  28. margin: 0;
  29. line-height: 1.3;
  30. cursor: auto;
  31. white-space: normal
  32. }
  33. .doc-block {
  34. background: var(--color-bg);
  35. padding: 8px 16px;
  36. border: 1px solid #ddd;
  37. border-radius: 3px;
  38. min-height: 25px;
  39. white-space: pre;
  40. }
  41. .doc-tip {
  42. padding: 8px 16px;
  43. border-radius: 4px;
  44. border-left: 5px solid;
  45. min-height: 25px;
  46. white-space: pre;
  47. }
  48. .doc-tip.doc-tip-info {
  49. background-color: #ecf8ff;
  50. border-left-color: var(--color-primary);
  51. color: var(--color-primary);
  52. }
  53. .doc-tip.doc-tip-warn {
  54. background-color: #fdf6ec;
  55. border-left-color:#e6a23c;
  56. color: #e6a23c;
  57. }
  58. .doc-tip.doc-tip-error {
  59. background-color: #fef0f0;
  60. border-left-color:#f56c6c;
  61. color: #f56c6c;
  62. }
  63. .doc-line {
  64. background-color: #ddd;
  65. height: 1px;
  66. margin: 3px 0;
  67. }
  68. .doc-quote {
  69. color: #666;
  70. border-left: 4px solid #ddd;
  71. padding-left: 20px;
  72. margin-left: 0;
  73. min-height: 25px;
  74. }