+csv dep for PG'OCaml.
[cocanwiki.git] / html / _css / editor.css
1 /* Stylesheet for COCANWIKI editor, derived from EWM.
2  * $Id: editor.css,v 1.8 2006/08/17 09:11:29 rich Exp $
3  */
4
5 body {
6   margin-top: 4em;
7 }
8
9 /* Hide the normal navigation completely. */
10 ul#topmenu {
11   display: none;
12 }
13
14 div#menu_div {
15   display: none;
16 }
17
18 div#footer_div {
19   display: none;
20 }
21
22 p.insert {
23   text-align: center;
24 }
25
26 p.insert input {
27   font-size: 70%;
28 }
29
30 div.action {
31   float: right;
32 }
33
34 div.action button.action {
35   text-align: left;
36   width: 6em;
37 }
38
39 div.action input.action {
40   width: 6em;
41 }
42
43 input.heading {
44   color: #003;
45   background-color: #ffc;
46   padding: 6px 3px 3px 3px;
47   font-size: 120%;
48   font-weight: bold;
49 }
50
51 div.preview {
52   border: 1px dashed #ddd;
53   background-color: #f8f8f8;
54   padding: 3px;
55 }
56
57 abbr.css_id {
58   font-size: 70%;
59 }
60
61 input.css_id {
62   font-size: 70%;
63 }
64
65 abbr.css_class {
66   font-size: 70%;
67 }
68
69 input.css_class {
70   font-size: 70%;
71 }
72
73 abbr.js_onclick {
74   font-size: 70%;
75 }
76
77 input.js_onclick {
78   font-size: 70%;
79 }
80
81 div#errors {
82   border: solid 2px #f00;
83   color: #c00;
84   padding: 4px;
85   width: 80%;
86   margin-left: 10%;
87 }
88
89 div#errors p {
90   margin-top: 0px;
91   margin-bottom: 0px;
92 }
93
94 div#errors ul {
95   list-style: none;
96   margin-left: 0px;
97   padding-left: 0px;
98 }
99
100 a.help_link {
101   font-size: 0.7em;
102 }
103
104 table#edit_conflict {
105 }
106
107 table#edit_conflict pre {
108   background-color: inherit;
109   border: none;
110 }
111
112 table#edit_conflict th.other {
113   background-color: #fcc;
114 }
115 table#edit_conflict td.other {
116   background-color: #fcc;
117 }
118
119 table#edit_conflict th.our {
120   background-color: #cfc;
121 }
122 table#edit_conflict td.our {
123   background-color: #cfc;
124 }
125
126 /* Edit buttons. */
127 div.edit_buttons {
128   font-size: 70%;
129 }
130
131 div.edit_buttons a {
132   margin-right: 3px;
133   padding: 3px;
134   border: 2px outset #dcdad5;
135   text-decoration: none;
136   color: #000;
137   background-color: #dcdad5;
138   cursor: pointer;
139   cursor: hand;
140 }
141
142 div.edit_buttons span.spacer {
143   margin-left: 1em;
144 }