CW Cyrix's Git Repository Mirror
Browse code

3.5.6 efiction version

Jimako authored on 2024/03/09 16:09:42
Showing 1 changed files
tinymce/jscripts/tiny_mce/plugins/devkit/css/devkit.css
History View file @ 1aaa576
1 1 
new file mode 100644
... ... 
@@ -0,0 +1,117 @@
1 
+body {
2 
+	overflow: hidden;
3 
+}
4 
+
5 
+h1 {
6 
+	font-size: 14px;
7 
+	margin: 0 0 10px 0;
8 
+}
9 
+
10 
+h2 {
11 
+	font-size: 12px;
12 
+	margin: 3px 0 3px 0;
13 
+}
14 
+
15 
+h3 {
16 
+	font-size: 11px;
17 
+	margin: 3px 0 3px 0;
18 
+}
19 
+
20 
+#log {
21 
+	font-family: Verdana;
22 
+	border: 1px solid gray;
23 
+	width: 100%; height: 240px;
24 
+	overflow: scroll;
25 
+	white-space: nowrap;
26 
+}
27 
+
28 
+#log span {
29 
+	display: block;
30 
+}
31 
+
32 
+#log span.msg {
33 
+	float: left;
34 
+}
35 
+
36 
+#log span.time {
37 
+	float: left;
38 
+}
39 
+
40 
+#log br {
41 
+	clear: both;
42 
+}
43 
+
44 
+#logfilter {
45 
+	width: 350px;
46 
+}
47 
+
48 
+#logenabled {
49 
+	border: 0;
50 
+}
51 
+
52 
+#settings_panel span, #info_panel span, #content_panel span, #command_states_panel span, #undo_redo_panel span {
53 
+	display: block;
54 
+	margin: 5px 0 5px 0;
55 
+}
56 
+
57 
+div.data {
58 
+	width: 100%; height: 240px;
59 
+	overflow: scroll;
60 
+	border: 1px solid gray;
61 
+}
62 
+
63 
+#misc_panel div.data {
64 
+	height: 270px;
65 
+}
66 
+
67 
+.data input {
68 
+	width: 265px;
69 
+	border: 0;
70 
+}
71 
+
72 
+.data h2 {
73 
+	margin-left: 5px;
74 
+}
75 
+
76 
+.data h3 {
77 
+	margin-left: 7px;
78 
+}
79 
+
80 
+.data div {
81 
+	margin-left: 7px;
82 
+}
83 
+
84 
+.data table {
85 
+	margin: 0 0 15px 15px;
86 
+}
87 
+
88 
+.data p {
89 
+	margin: 0; padding: 0;
90 
+	margin-top: 5px;
91 
+	margin-left: 5px;
92 
+}
93 
+
94 
+table, td {
95 
+	border: 1px solid gray;
96 
+	border-collapse: collapse;
97 
+}
98 
+
99 
+#flip {
100 
+	position: absolute;
101 
+	left: 295; top: 384px;
102 
+}
103 
+
104 
+.bspec {
105 
+	color: gray;
106 
+}
107 
+
108 
+.dep {
109 
+	color: #880000;
110 
+}
111 
+
112 
+.col1 {
113 
+	width: 265px;
114 
+}
115 
+
116 
+div.undodata {
117 
+}