+csv dep for PG'OCaml.
[cocanwiki.git] / html / _css / standard.css
index 83ba185..6314d0c 100644 (file)
@@ -1,12 +1,31 @@
-/* Stylesheet for COCANWIKI, derived from EWM.
- * $Id: standard.css,v 1.2 2004/09/08 14:01:17 rich Exp $
+/* Stylesheet for COCANWIKI.
+ * $Id: standard.css,v 1.32 2006/12/07 17:05:47 rich Exp $
  */
 
+/* Based on the basic stylesheet. */
+@import url("basic.css");
+
+/* Tables. */
+@import url("tables.css");
+
+/* Calendar extension. */
+@import url("calendar.css");
+
+/* Folding headings. */
+@import url("folding.css");
+
+/* For RSS feeds ({{rss}} function). */
+@import url("rss.css");
+
+/* For print media. */
+@import url("print.css");
+
 body {
   background: #fff;
   color: #000;
-  font-family: arial, helvetica, sans-serif;
+  font-family: trebuchet ms, palatino, georgia, arial, helvetica, sans-serif;
   margin-top: 6em;
+  line-height: 1.35em;
 }
 
 /* Headers. */
@@ -17,58 +36,80 @@ h1 {
   top: 0px;
   left: 0px;
   font-size: 140%;
-  width: 100%;
+  width: 95%;
   padding-left: 2em;
 }
 
 h2 {
-  color: #003;
-  background-color: #ffc;
+  color: #666;
+  border-top: 1px dashed #ddd;
   padding: 6px 3px 3px 3px;
-  border-top: 1px solid #eeb;
   font-size: 120%;
 }
 
+h3, h4 {
+  color: #555;
+  font-size: 100%;
+}
+
 /* Ordinary text. */
-p {
-  margin-left: 1em;
+div#content_div {
+  margin-left: 3em;
+  width: 30em;
+  min-height: 22em;
+}
+
+/* Outdent headers in the content div. */
+div#content_div h2, div#content_div h3, div#content_div h4 {
+  margin-left: -2em;
+}
+
+/* ... except on IE which can't handle it. */
+* html div#content_div h2, * html div#content_div h3, * html div#content_div h4 {
+  margin-left: 0px;
 }
 
-/* Links. */
-a.external {
-  background: url(/_graphics/external.png) center right no-repeat;
-  padding-right: 13px;
+/* Lists. */
+div#content_div ul {
+  margin-left: 0px;
+  padding-left: 0px;
 }
 
-a.newpage {
-  background: url(/_graphics/newpage.png) center right no-repeat;
-  padding-right: 13px;
-  color: #ba0000;
+div#content_div ol {
+  margin-left: 0px;
+  padding-left: 0px;
+}
+
+/* ... except on IE, piece of crap. */
+* html div#content_div ul {
+  margin-left: 1em;
+  padding-left: 1em;
+}
+* html div#content_div ol {
+  margin-left: 1em;
+  padding-left: 1em;
 }
 
-a.mailto {
-  background: url(/_graphics/mailto.png) center right no-repeat;
-  padding-right: 13px;
+/* Make <code> sections slightly larger in Gecko browsers. */
+code {
+  font-size: 1.2em;
 }
 
-a.image_not_found {
-  background: url(/_graphics/newpage.png) center right no-repeat;
-  padding-right: 13px;
-  color: #ba0000;
+* html code {
+  font-size: 1em;
 }
 
-a.file_not_found {
-  background: url(/_graphics/newpage.png) center right no-repeat;
-  padding-right: 13px;
-  color: #ba0000;
+/* Abbreviations should be in smallcaps. */
+abbr, acronym {
+  font-variant: small-caps;
 }
 
 /* Preformatted text. */
 pre {
   margin-left: 1em;
-  background-color: #eee;
+  background-color: #fefefe;
   padding: 3px;
-  border: dashed 1px #ddd;
+  border: solid 1px #eee;
 }
 
 /* Images.  (Try setting 'class' on an image). */
@@ -99,6 +140,56 @@ img.left_float_border {
   margin: 0.3em;
 }
 
+/* Special effects.  (Try setting 'CSS class' on a section). */
+div.leftcol {
+  width: 45%;
+}
+div.leftcol h2, div.leftcol p.edit_link {
+  display: none;
+}
+
+div.rightcol {
+  width: 45%;
+  float: right;
+  position: relative;
+  top: -16px;
+}
+* html div.rightcol {
+  top: 0px;
+}
+div.rightcol h2, div.rightcol p.edit_link {
+  display: none;
+}
+
+div.clearboth {
+  clear: both;
+}
+
+div.sticker {
+  border: 2px outset #000;
+  background-color: #fcfcfc;
+  padding: 12px;
+  -moz-border-radius: 10px;
+  border-radius: 10px; /* CSS3 */
+}
+div.sticker h2, div.sticker p.edit_link {
+  display: none;
+}
+
+div.product_right img {
+  float: right;
+  border: none;
+  margin-left: 2em;
+  margin-bottom: 0.5em;
+}
+
+div.product_left img {
+  float: left;
+  border: none;
+  margin-right: 2em;
+  margin-bottom: 0.5em;
+}
+
 /* Edit links. */
 p.edit_link {
   margin: 6px 0px 0px 0px;
@@ -135,28 +226,65 @@ ul#footer {
   font-size: 70%;
 }
 
-/* Sitemap page. */
-ul#sitemap {
-  list-style: none;
-  margin-left: 0px;
-  padding-left: 0px;
+/* Graphics on the menu items. */
+li.edit_li a {
+  padding-left: 16px;
+  background: url(/_graphics/edit.png) center left no-repeat;
 }
 
-ul#sitemap p.content {
-  margin-top: 0px;
-  margin-bottom: 0px;
-  font-size: 0.7em;
+li.files_li a {
+  padding-left: 18px;
+  background: url(/_graphics/files.png) center left no-repeat;
 }
 
-ul#sitemap p.info {
-  margin-top: 0px;
-  margin-bottom: 0px;
-  font-size: 0.7em;
+li.home_li a {
+  padding-left: 16px;
+  background: url(/_graphics/home.png) center left no-repeat;
+}
+
+li.images_li a {
+  padding-left: 18px;
+  background: url(/_graphics/images.png) center left no-repeat;
+}
+
+li.maillist_li a {
+  padding-left: 18px;
+  background: url(/_graphics/maillist.png) center left no-repeat;
+}
+
+li.new_li a {
+  padding-left: 16px;
+  background: url(/_graphics/new.png) center left no-repeat;
 }
 
-ul#sitemap p.info a {
-  color: green;
-  text-decoration: none;
+li.recent_li a {
+  padding-left: 18px;
+  background: url(/_graphics/recent.png) center left no-repeat;
+}
+
+li.sitemap_li a {
+  padding-left: 18px;
+  background: url(/_graphics/sitemap.png) center left no-repeat;
+}
+
+li.stats_li a {
+  padding-left: 18px;
+  background: url(/_graphics/stats.png) center left no-repeat;
+}
+
+li.stylesheet_li a {
+  padding-left: 16px;
+  background: url(/_graphics/edit.png) center left no-repeat;
+}
+
+li.versions_li a {
+  padding-left: 18px;
+  background: url(/_graphics/versions.png) center left no-repeat;
+}
+
+li.wlh_li a {
+  padding-left: 18px;
+  background: url(/_graphics/wlh.png) center left no-repeat;
 }
 
 /* Recent changes list. */
@@ -169,7 +297,7 @@ ul#recent_changes {
 ul#recent_changes span.date {
   display: block;
   float: left;
-  width: 8.5em;
+  width: 9em;
 }
 
 /* History list. */
@@ -182,15 +310,103 @@ ul#history {
 ul#history span.date {
   display: block;
   float: left;
-  width: 8.5em;
+  width: 9em;
 }
 
-/* Versions. */
-div#old_version {
-  border: solid 2px #f00;
-  color: #c00;
-  padding: 4px;
-  width: 80%;
-  margin-left: 10%;
-  clear: both;
+/* Forms. */
+form > table {
+  margin-left: auto;
+  margin-right: auto;
+}
+
+input:focus {
+  background-color: #eef;
+}
+
+textarea:focus {
+  background-color: #eef;
+}
+
+/* Search box. */
+div#search_div {
+  position: absolute;
+  left: 50%;
+  width: 49%;
+  top: 0.95em;
+  text-align: right;
+}
+
+/* WikiForms - hide the edit link for the top section. */
+div#form_div p.edit_link {
+  display: none;
+}
+
+/* Navigation area.
+ * The navigation_space_div reserves the space for the div and appears
+ * at the beginning of the page (but is empty).
+ */
+div#navigation_space_div {
+  float: right;
+  width: 10em;
+  height: 22em;
+  background: #fff;
+  margin-left: 1em;
+}
+
+div#navigation_div {
+  position: absolute;
+  right: 1em;
+  top: 6em;
+  width: 10em;
+  height: 22em;
+  line-height: 1em;
+}
+
+div#navigation_div h2 {
+  display: none;
+}
+
+div#navigation_div h3 {
+  margin-left: 1em;
+  margin-top: -0.5em;
+  font-size: 70%;
+}
+
+div#navigation_div ul {
+  font-size: 70%;
+  margin-top: -1em;
+  margin-left: -1em;
+}
+
+/* The "* html" causes this rule to only be applied to IE 5/6. */
+* html div#navigation_div li {
+  line-height: 1.2em;
+  margin-left: 3em;
+  padding-left: 0px;
+}
+
+/* Default for branding section.  The default doesn't claim to be very
+ * helpful.  If you enabled branding on the site, you should abs-position
+ * the branding_div, and indeed probably replace it with a logo at the
+ * top of each page.
+ */
+div#branding_div {
+  width: 30%;
+  float: right;
+  font-size: 0.7em;
+}
+
+div#branding_div h2 {
+  border: none;
+  margin: 0px;
+  padding: 0px;
+}
+
+div#branding_div p {
+  margin: 0px;
+  padding: 0px;
+}
+
+div#branding_div p#brand_description {
+  display: none;
 }