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