wp-syntax.css 2.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788
  1. .wp_syntax {
  2. color: #100;
  3. background-color: #f9f9f9;
  4. border: 1px solid silver;
  5. margin: 0 0 1.5em 0;
  6. overflow: auto;
  7. }
  8. /* IE FIX */
  9. .wp_syntax {
  10. overflow-x: auto;
  11. overflow-y: hidden;
  12. padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
  13. width: 100%;
  14. }
  15. .wp_syntax table {
  16. border: none !important;
  17. border-collapse: collapse !important;
  18. margin: 0 !important;
  19. padding: 0 !important;
  20. width: 100% !important
  21. }
  22. .wp_syntax caption {
  23. padding: 2px !important;
  24. width: 100% !important;
  25. background-color: #def !important;
  26. text-align: left !important;
  27. font-family: monospace !important;
  28. font-size: 12px !important;
  29. line-height: 1.2em !important;
  30. }
  31. .wp_syntax caption a {
  32. color: #1982d1 !important;
  33. text-align: left !important;
  34. font-family: monospace !important;
  35. font-size: 12px !important;
  36. line-height:16px !important;
  37. text-decoration: none !important;
  38. }
  39. .wp_syntax caption a:hover {
  40. color: #1982d1 !important;
  41. text-decoration: underline !important;
  42. }
  43. .wp_syntax div, .wp_syntax td {
  44. border: none !important;
  45. text-align: left !important;
  46. padding: 0 !important;
  47. vertical-align: top !important;
  48. }
  49. .wp_syntax td.code{
  50. background: none !important;
  51. line-height: normal !important;
  52. white-space: normal !important;
  53. }
  54. /* potential overrides for other styles */
  55. .wp_syntax pre {
  56. background: transparent !important;
  57. margin: 0 !important;
  58. padding: 0 !important;
  59. width: auto !important;
  60. float: none !important;
  61. clear: none !important;
  62. overflow: visible !important;
  63. font-family: monospace !important;
  64. font-size: 12px !important;
  65. line-height: 16px !important;
  66. white-space: pre !important;
  67. -moz-box-shadow: 0px 0px 0px rgba(0, 0, 0, 0) !important; /* FF3.5+ */
  68. -webkit-box-shadow: 0px 0px 0px rgba(0, 0, 0, 0) !important; /* Saf3.0+, Chrome */
  69. box-shadow: 0px 0px 0px rgba(0, 0, 0, 0) !important; /* Opera 10.5, IE 9.0 */
  70. -webkit-border-radius: 0 !important;
  71. -moz-border-radius: 0 !important;
  72. border-radius: 0 !important;
  73. }
  74. .wp_syntax td.line_numbers pre {
  75. background-color: #def !important;
  76. color: gray !important;
  77. padding: 0 4px !important;
  78. text-align: right !important;
  79. }