123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118 |
- body {
- overflow: hidden;
- }
-
- h1 {
- font-size: 14px;
- margin: 0 0 10px 0;
- }
-
- h2 {
- font-size: 12px;
- margin: 3px 0 3px 0;
- }
-
- h3 {
- font-size: 11px;
- margin: 3px 0 3px 0;
- }
-
- #log {
- font-family: Verdana;
- border: 1px solid gray;
- width: 100%; height: 240px;
- overflow: scroll;
- white-space: nowrap;
- }
-
- #log span {
- display: block;
- }
-
- #log span.msg {
- float: left;
- }
-
- #log span.time {
- float: left;
- }
-
- #log br {
- clear: both;
- }
-
- #logfilter {
- width: 350px;
- }
-
- #logenabled {
- border: 0;
- }
-
- #settings_panel span, #info_panel span, #content_panel span, #command_states_panel span, #undo_redo_panel span {
- display: block;
- margin: 5px 0 5px 0;
- }
-
- div.data {
- width: 100%; height: 240px;
- overflow: scroll;
- border: 1px solid gray;
- }
-
- #misc_panel div.data {
- height: 270px;
- }
-
- .data input {
- width: 265px;
- border: 0;
- }
-
- .data h2 {
- margin-left: 5px;
- }
-
- .data h3 {
- margin-left: 7px;
- }
-
- .data div {
- margin-left: 7px;
- }
-
- .data table {
- margin: 0 0 15px 15px;
- }
-
- .data p {
- margin: 0; padding: 0;
- margin-top: 5px;
- margin-left: 5px;
- }
-
- table, td {
- border: 1px solid gray;
- border-collapse: collapse;
- }
-
- #flip {
- position: absolute;
- left: 295; top: 384px;
- }
-
- .bspec {
- color: gray;
- }
-
- .dep {
- color: #880000;
- }
-
- .col1 {
- width: 265px;
- }
-
- div.undodata {
- }
|