File tree 1 file changed +20
-1
lines changed
1 file changed +20
-1
lines changed Original file line number Diff line number Diff line change 29
29
.syntax_indent5 { margin-left : 5em ; }
30
30
.syntax_indent6 { margin-left : 6em ; }
31
31
.syntax_indent7 { margin-left : 7em ; }
32
- .syntax {
32
+ .syntax ,
33
+ .syntax_indent0 ,
34
+ .syntax_indent1 ,
35
+ .syntax_indent2 ,
36
+ .syntax_indent3 ,
37
+ .syntax_indent4 ,
38
+ .syntax_indent5 ,
39
+ .syntax_indent6 ,
40
+ .syntax_indent7
41
+ {
33
42
font-family : Verdan, Arial, Tahoma;
34
43
font-size : 80% ;
35
44
}
62
71
.syntax_quote { white-space: pre; }
63
72
*/
64
73
.syntax_quote_backtick { }
74
+
75
+ .dialog .syntax { font-size : 80% ; }
76
+ .dialog .syntax_indent0 { font-size : 80% ; }
77
+ .dialog .syntax_indent1 { font-size : 80% ; }
78
+ .dialog .syntax_indent2 { font-size : 80% ; }
79
+ .dialog .syntax_indent3 { font-size : 80% ; }
80
+ .dialog .syntax_indent4 { font-size : 80% ; }
81
+ .dialog .syntax_indent5 { font-size : 80% ; }
82
+ .dialog .syntax_indent6 { font-size : 80% ; }
83
+ .dialog .syntax_indent7 { font-size : 80% ; }
You can’t perform that action at this time.
0 commit comments