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