xref: /plugin/mizarverifiabledocs/style.css (revision 22b742c87b8bbc72be9bb25ed73d5018b9a9eae0) 
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 {
22    font: inherit;
23}
24
25.clear-button,
26.compile-button,
27.reset-button,
28.show-button
29{
30    font: inherit;
31    display: none; /* 初期状態では非表示 */
32}
33
34#compileResult {
35    white-space: pre-wrap;
36    margin-top: 10px;
37}
38
39/* 出力エリアのスタイル */
40.output {
41    padding: 10px;
42    border: 1px solid #ccc;
43    margin-top: 10px;
44    white-space: pre-wrap;
45    display: none; /* 初期状態では非表示 */
46}
47
48/* カスタムテーマ */
49.cm-gutters {
50    font-family: "Consolas", "Courier New", monospace;
51}
52
53.cm-content {
54    box-shadow: inset -4px -4px 0.5em -0.3em #ccc;
55    border: 1px dashed #ccc;
56    border-radius: 2px;
57    padding: .7em 1em;
58    font-family: Consolas, "Andale Mono WT", "Bitstream Vera Sans Mono", "Nimbus Mono L", Monaco, "Courier New", monospace;
59    background-color: #fbfaf9;
60}
61
62/* エラーパネルのスタイル */
63.cm-error-panel {
64    background: none;
65    color: #000000;
66    padding: 4px;
67}
68
69/* エラー下線のスタイル */
70.error-underline {
71    text-decoration: underline wavy red;
72}
73
74/* 括弧の色 */
75.bracket-color-0 { color: dodgerblue; }
76.bracket-color-1 { color: darkmagenta; }
77.bracket-color-2 { color: darkgoldenrod; }
78.bracket-color-3 { color: darkturquoise; }
79.bracket-color-4 { color: sienna; }
80
81/* 制御キーワード */
82.control-keyword {
83    color: darkmagenta;
84}
85
86/* サポート関数 */
87.function-keyword {
88    color: sienna;
89}
90
91/* 一般的なキーワード */
92.general-keyword {
93    color: dodgerblue;
94}
95
96/* 型名やエンティティ名 */
97.type-name {
98    color: darkturquoise;
99}
100
101/* メタ情報（推論句） */
102.meta-info {
103    color: darkgoldenrod;
104}
105
106/* 行コメント */
107.line-comment {
108    color: darkcyan;
109    font-style: italic;
110}
111
112/* 括弧の色 */
113.paren {
114    color: inherit; /* デフォルトの色を使用 */
115}
116
117.brace {
118    color: inherit; /* デフォルトの色を使用 */
119}
120
121.square-bracket {
122    color: inherit; /* デフォルトの色を使用 */
123}
124
125.cm-foldGutter .cm-gutterElement {
126    cursor: pointer;
127    color: gray;
128}
129
130.cm-foldGutter .cm-foldPlaceholder {
131    color: darkgray;
132    font-style: italic;
133    padding: 0 2px;
134}
135
136/* spinner */
137.loading-spinner {
138    display: inline-block;
139    margin-left: 10px;
140    font-weight: bold;
141    color: #007bff;
142    animation: fadeIn 1s ease infinite alternate;
143}
144
145@keyframes fadeIn {
146    from { opacity: 0.3; }
147    to { opacity: 1; }
148}
149