@@ -27,20 +27,20 @@ PHPAPI void php_info_print_css(TSRMLS_D) /* {{{ */
27
27
PUTS ("pre {margin: 0; font-family: monospace;}\n" );
28
28
PUTS ("a:link {color: #009; text-decoration: none; background-color: #fff;}\n" );
29
29
PUTS ("a:hover {text-decoration: underline;}\n" );
30
- PUTS ("table {border-collapse: collapse; border: 0; width: 75%; min-width: 600px ;}\n" );
30
+ PUTS ("table {border-collapse: collapse; border: 0; width: 934px ;}\n" );
31
31
PUTS (".center {text-align: center;}\n" );
32
32
PUTS (".center table {margin: 0 auto; text-align: left;}\n" );
33
33
PUTS (".center th {text-align: center !important;}\n" );
34
34
PUTS ("td, th {border: 1px solid #000; font-size: 75%; vertical-align: baseline; padding: 3px 5px;}\n" );
35
35
PUTS ("h1 {font-size: 150%;}\n" );
36
36
PUTS ("h2 {font-size: 125%;}\n" );
37
37
PUTS (".p {text-align: left;}\n" );
38
- PUTS (".e {background-color: #ccf; font-weight: bold;}\n" );
39
- PUTS (".h {background-color: #99c; font-weight: bold;}\n" );
40
- PUTS (".v {background-color: #ccc; max-width: 20em ; overflow-y: scroll;}\n" );
41
- PUTS (".v i {color: #999;}\n" );
38
+ PUTS (".e {background-color: #ccf; width: 300px ; font-weight: bold;}\n" );
39
+ PUTS (".h {background-color: #99c; font-weight: bold;}\n" );
40
+ PUTS (".v {background-color: #ccc; max-width: 300px ; overflow-y: scroll;}\n" );
41
+ PUTS (".v i {color: #999;}\n" );
42
42
PUTS ("img {float: right; border: 0;}\n" );
43
- PUTS ("hr {width: 800px ; background-color: #ccc; border: 0; height: 1px;}\n" );
43
+ PUTS ("hr {width: 934px ; background-color: #ccc; border: 0; height: 1px;}\n" );
44
44
}
45
45
/* }}} */
46
46
0 commit comments