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