xref: /plugin/mizarverifiabledocs/style.css (revision a044403672ca6eb52211b997584091204a697419)
1.miz2prel-button,
2.edit-button ,
3.copy-button{
4    font: inherit;
5}
6
7.clear-button,
8.mizf-button,
9.reset-button {
10    font: inherit;
11    display: none; /* 初期状態では非表示 */
12}
13
14#compileResult {
15    white-space: pre-wrap;
16    margin-top: 10px;
17}
18
19/* 出力エリアのスタイル */
20.output {
21    padding: 10px;
22    border: 1px solid #ccc;
23    margin-top: 10px;
24    white-space: pre-wrap;
25    display: none; /* 初期状態では非表示 */
26}
27
28/* カスタムテーマ */
29.cm-gutters {
30    font-family: "Consolas", "Courier New", monospace;
31}
32
33.cm-content {
34    box-shadow: inset -4px -4px 0.5em -0.3em #ccc;
35    border: 1px dashed #ccc;
36    border-radius: 2px;
37    padding: .7em 1em;
38    font-family: Consolas, "Andale Mono WT", "Bitstream Vera Sans Mono", "Nimbus Mono L", Monaco, "Courier New", monospace;
39    background-color: #fbfaf9;
40}
41
42/* エラーパネルのスタイル */
43.cm-error-panel {
44    background: none;
45    color: #000000;
46    padding: 4px;
47}
48
49/* エラー下線のスタイル */
50.error-underline {
51    text-decoration: underline wavy red;
52}
53
54/* 括弧の色 */
55.bracket-color-0 { color: dodgerblue; }
56.bracket-color-1 { color: darkmagenta; }
57.bracket-color-2 { color: darkgoldenrod; }
58.bracket-color-3 { color: darkturquoise; }
59.bracket-color-4 { color: sienna; }
60
61/* 制御キーワード */
62.control-keyword {
63    color: darkmagenta;
64}
65
66/* サポート関数 */
67.function-keyword {
68    color: sienna;
69}
70
71/* 一般的なキーワード */
72.general-keyword {
73    color: dodgerblue;
74}
75
76/* 型名やエンティティ名 */
77.type-name {
78    color: darkturquoise;
79}
80
81/* メタ情報(推論句) */
82.meta-info {
83    color: darkgoldenrod;
84}
85
86/* 行コメント */
87.line-comment {
88    color: darkcyan;
89    font-style: italic;
90}
91
92/* 括弧の色 */
93.paren {
94    color: inherit; /* デフォルトの色を使用 */
95}
96
97.brace {
98    color: inherit; /* デフォルトの色を使用 */
99}
100
101.square-bracket {
102    color: inherit; /* デフォルトの色を使用 */
103}