html/_css/editor.css

   1 /* Stylesheet for COCANWIKI editor, derived from EWM.
   2  * $Id: editor.css,v 1.7 2006/07/26 13:41:31 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.js_onclick {
  66   font-size: 70%;
  67 }
  68
  69 input.js_onclick {
  70   font-size: 70%;
  71 }
  72
  73 div#errors {
  74   border: solid 2px #f00;
  75   color: #c00;
  76   padding: 4px;
  77   width: 80%;
  78   margin-left: 10%;
  79 }
  80
  81 div#errors p {
  82   margin-top: 0px;
  83   margin-bottom: 0px;
  84 }
  85
  86 div#errors ul {
  87   list-style: none;
  88   margin-left: 0px;
  89   padding-left: 0px;
  90 }
  91
  92 a.help_link {
  93   font-size: 0.7em;
  94 }
  95
  96 table#edit_conflict {
  97 }
  98
  99 table#edit_conflict pre {
 100   background-color: inherit;
 101   border: none;
 102 }
 103
 104 table#edit_conflict th.other {
 105   background-color: #fcc;
 106 }
 107 table#edit_conflict td.other {
 108   background-color: #fcc;
 109 }
 110
 111 table#edit_conflict th.our {
 112   background-color: #cfc;
 113 }
 114 table#edit_conflict td.our {
 115   background-color: #cfc;
 116 }
 117
 118 /* Edit buttons. */
 119 div.edit_buttons {
 120   font-size: 70%;
 121 }
 122
 123 div.edit_buttons a {
 124   margin-right: 3px;
 125   padding: 3px;
 126   border: 2px outset #dcdad5;
 127   text-decoration: none;
 128   color: #000;
 129   background-color: #dcdad5;
 130   cursor: pointer;
 131   cursor: hand;
 132 }
 133
 134 div.edit_buttons span.spacer {
 135   margin-left: 1em;
 136 }