xref: /plugin/mizarverifiabledocs/style.css (revision 1a91113b0094ce6ce10091527b530187a60781d5) 
1/* SPDX-License-Identifier: GPL-2.0-or-later */
2/* SPDX-FileCopyrightText: 2024-2025 Yamada, M. */
3/* DokuWiki Plugin Mizar Verifiable Docs (Styles) */
4
5/* Hide All ボタンのコンテナ */
6.hideAllContainer {
7    border: none;
8    padding: 5px;
9    margin-bottom: 10px;
10}
11
12/* 他のスタイル（ユーザーが提供したもの） */
13.miz2prel-button,
14.edit-button,
15.copy-button,
16.hide-all-button,
17.reset-all-button,
18.hide-button,
19.graph-button
20 {
21    font: inherit;
22}
23
24.clear-button,
25.compile-button,
26.reset-button,
27.show-button
28{
29    font: inherit;
30    display: none; /* 初期状態では非表示 */
31}
32
33#compileResult {
34    white-space: pre-wrap;
35    margin-top: 10px;
36}
37
38/* 出力エリアのスタイル */
39.output {
40    padding: 10px;
41    border: 1px solid #ccc;
42    margin-top: 10px;
43    white-space: pre-wrap;
44    display: none; /* 初期状態では非表示 */
45}
46
47/* 図を枠内に収めつつ崩れを防ぐ */
48.output svg{
49    max-width:100%;
50    height:auto;
51    display:block;
52}
53
54.graph-wrapper {
55  position: relative;
56}
57
58/* 右上に浮かせる小さな ✖ ボタン */
59.close-graph {
60  position: absolute;
61  top: 4px;
62  right: 4px;
63  background: #f44336;
64  color: #fff;
65  border: none;
66  border-radius: 50%;
67  width: 20px;
68  height: 20px;
69  line-height: 18px;
70  text-align: center;
71  font-size: 13px;
72  cursor: pointer;
73}
74
75.close-graph:hover {
76  background: #d32f2f;
77}
78
79/* カスタムテーマ */
80.cm-gutters {
81    font-family: "Consolas", "Courier New", monospace;
82}
83
84.cm-content {
85    box-shadow: inset -4px -4px 0.5em -0.3em #ccc;
86    border: 1px dashed #ccc;
87    border-radius: 2px;
88    padding: .7em 1em;
89    font-family: Consolas, "Andale Mono WT", "Bitstream Vera Sans Mono", "Nimbus Mono L", Monaco, "Courier New", monospace;
90    background-color: #fbfaf9;
91}
92
93/* エラーパネルのスタイル */
94.cm-error-panel {
95    background: none;
96    color: #000000;
97    padding: 4px;
98}
99
100/* エラー下線のスタイル */
101.error-underline {
102    text-decoration: underline wavy red;
103}
104
105/* 括弧の色 */
106.bracket-color-0 { color: dodgerblue; }
107.bracket-color-1 { color: darkmagenta; }
108.bracket-color-2 { color: darkgoldenrod; }
109.bracket-color-3 { color: darkturquoise; }
110.bracket-color-4 { color: sienna; }
111
112/* 制御キーワード */
113.control-keyword {
114    color: darkmagenta;
115}
116
117/* サポート関数 */
118.function-keyword {
119    color: sienna;
120}
121
122/* 一般的なキーワード */
123.general-keyword {
124    color: dodgerblue;
125}
126
127/* 型名やエンティティ名 */
128.type-name {
129    color: darkturquoise;
130}
131
132/* メタ情報（推論句） */
133.meta-info {
134    color: darkgoldenrod;
135}
136
137/* 行コメント */
138.line-comment {
139    color: darkcyan;
140    font-style: italic;
141}
142
143/* 括弧の色 */
144.paren {
145    color: inherit; /* デフォルトの色を使用 */
146}
147
148.brace {
149    color: inherit; /* デフォルトの色を使用 */
150}
151
152.square-bracket {
153    color: inherit; /* デフォルトの色を使用 */
154}
155
156.cm-foldGutter .cm-gutterElement {
157    cursor: pointer;
158    color: gray;
159}
160
161.cm-foldGutter .cm-foldPlaceholder {
162    color: darkgray;
163    font-style: italic;
164    padding: 0 2px;
165}
166
167/* spinner */
168.loading-spinner {
169    display: inline-block;
170    margin-left: 10px;
171    font-weight: bold;
172    color: #007bff;
173    animation: fadeIn 1s ease infinite alternate;
174}
175
176@keyframes fadeIn {
177    from { opacity: 0.3; }
178    to { opacity: 1; }
179}
180