12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788 |
- .wp_syntax {
- color: #100;
- background-color: #f9f9f9;
- border: 1px solid silver;
- margin: 0 0 1.5em 0;
- overflow: auto;
- }
- /* IE FIX */
- .wp_syntax {
- overflow-x: auto;
- overflow-y: hidden;
- padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
- width: 100%;
- }
- .wp_syntax table {
- border: none !important;
- border-collapse: collapse !important;
- margin: 0 !important;
- padding: 0 !important;
- width: 100% !important
- }
- .wp_syntax caption {
- padding: 2px !important;
- width: 100% !important;
- background-color: #def !important;
- text-align: left !important;
- font-family: monospace !important;
- font-size: 12px !important;
- line-height: 1.2em !important;
- }
- .wp_syntax caption a {
- color: #1982d1 !important;
- text-align: left !important;
- font-family: monospace !important;
- font-size: 12px !important;
- line-height:16px !important;
- text-decoration: none !important;
- }
- .wp_syntax caption a:hover {
- color: #1982d1 !important;
- text-decoration: underline !important;
- }
- .wp_syntax div, .wp_syntax td {
- border: none !important;
- text-align: left !important;
- padding: 0 !important;
- vertical-align: top !important;
- }
- .wp_syntax td.code{
- background: none !important;
- line-height: normal !important;
- white-space: normal !important;
- }
- /* potential overrides for other styles */
- .wp_syntax pre {
- background: transparent !important;
- margin: 0 !important;
- padding: 0 !important;
- width: auto !important;
- float: none !important;
- clear: none !important;
- overflow: visible !important;
- font-family: monospace !important;
- font-size: 12px !important;
- line-height: 16px !important;
- white-space: pre !important;
- -moz-box-shadow: 0px 0px 0px rgba(0, 0, 0, 0) !important; /* FF3.5+ */
- -webkit-box-shadow: 0px 0px 0px rgba(0, 0, 0, 0) !important; /* Saf3.0+, Chrome */
- box-shadow: 0px 0px 0px rgba(0, 0, 0, 0) !important; /* Opera 10.5, IE 9.0 */
- -webkit-border-radius: 0 !important;
- -moz-border-radius: 0 !important;
- border-radius: 0 !important;
- }
- .wp_syntax td.line_numbers pre {
- background-color: #def !important;
- color: gray !important;
- padding: 0 4px !important;
- text-align: right !important;
- }
|