html5 bug closure, and documentation

[git.ikiwiki.info.git] / doc / style.css

diff --git a/doc/style.css b/doc/style.css
index 317d4c7aacbb3efb76b52a8c664d11a4cdfdb163..f2f558497341574b1bd5f6676bddde8666072620 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -4,6 +4,13 @@
  * local.css and use it to override or change settings in this one.
  */
 
  * local.css and use it to override or change settings in this one.
  */
 

+article,
+header,
+footer,
+nav {
+       display: block;
+}
+

 .header {
        margin: 0;
        font-size: 22px;
 .header {
        margin: 0;
        font-size: 22px;


@@ -49,7 +56,7 @@
        border-bottom: 1px solid #000;
 }
 
        border-bottom: 1px solid #000;
 }
 

-div.inlinecontent {
+.inlinecontent {

        margin-top: .4em;
 }
 
        margin-top: .4em;
 }
 


@@ -60,18 +67,19 @@ div.inlinecontent {
        clear: both;
 }
 
        clear: both;
 }
 

-.tags {
-}
-

 #pageinfo {
        margin: 1em 0;
        border-top: 1px solid #000;
 }
 
 #pageinfo {
        margin: 1em 0;
        border-top: 1px solid #000;
 }
 

-div.tags {
+.tags {

        margin-top: 1em;
 }
 
        margin-top: 1em;
 }
 

+.inlinepage .tags {
+        display: inline;
+}
+

 .mapparent {
        text-decoration: none;
 }
 .mapparent {
        text-decoration: none;
 }


@@ -228,14 +236,15 @@ div.recentchanges {
 .bigPC { font-size: 115%; }
 .biggestPC { font-size: 130%; }
 
 .bigPC { font-size: 115%; }
 .biggestPC { font-size: 130%; }
 

-#sidebar {
-       line-height: 3ex;
-       width: 20ex;
+.sidebar {
+       width: 30ex;

        float: right;
        float: right;

-       margin-left: 40px;
-       margin-bottom: 40px;
-       padding: 2ex 2ex;
+       margin-left: 4px;
+       margin-bottom: 4px;
+       margin-top: -1px;
+       padding: 0ex 2ex;

        background: white;
        background: white;

+       border: 1px solid black;

        color: black !important;
 }
 
        color: black !important;
 }
 


@@ -430,3 +439,11 @@ pre.hl { color:#000000; background-color:#ffffff; }
 /* For the calendar plugin. */
 .month-calendar-day-this-day { background-color: #eee; }
 .year-calendar-this-month { background-color: #eee; }
 /* For the calendar plugin. */
 .month-calendar-day-this-day { background-color: #eee; }
 .year-calendar-this-month { background-color: #eee; }

+.month-calendar-arrow A:link,
+.year-calendar-arrow A:link,
+.month-calendar-arrow A:visited,
+.year-calendar-arrow A:visited {
+       text-decoration: none;
+       font-weight: normal;
+       font-size: 150%;
+}