X-Git-Url: http://git.osdn.net/view?p=mingw%2Fwebsite.git;a=blobdiff_plain;f=site.css;h=9db30cb448d036801847cb608c62ea5e90ac9d85;hp=4ace8d6d191cf7893716f50a89c4681d4e21ba3c;hb=899ad64ce7c6e05311acffd60d559ea65f7a27c0;hpb=e56eb1e54d930022d7cfbe7e3c78e74837ad7865

diff --git a/site.css b/site.css
index 4ace8d6..9db30cb 100644
--- a/site.css
+++ b/site.css
@@ -40,7 +40,7 @@
  *
  */
 
-/* General page layout and formatting
+/* General Page Layout and Formatting
  * ==================================
  */
 body
@@ -96,18 +96,42 @@ hr+p, p+hr
 { /* Also maintain a deeper space between paragraph text and any
    * intervening horizontal rule.
    */
-  margin-top: 1.3em;
+  margin-top: 1.2em;
 }
-p+ul
-{ /* Keep any unordered list closer to preceding paragraph text
-   * than normal inter-paragraph spacing, but separated slightly
+p+ul, p+ol, p+dl
+{ /* Keep any unordered list, ordered list, or defining list
+   * closer to any immediately preceding paragraph text than
+   * normal inter-paragraph spacing, but separated slightly
    * more than single-line text spacing.
    */
   margin-top: 0.3em; margin-bottom: 0;
 }
+ul li, ol li
+{ margin-top: 0.12em;
+}
+ul li:first-child, ol li:first-child
+{ margin-top: 0;
+}
+dl dt
+{ /* Similarly, set explicit layout rules for definition lists.
+   */
+  margin-top: 0.8em; font-weight: bold;
+}
+dl dt:first-child, dl dd+dd
+{ margin-top: 0.4em;
+}
+dl dt+dd
+{ margin-top: 0.2em;
+}
+dl.no-indent dd
+{ /* Suppress indentation of definition blocks, within any
+   * definition list of the "no-indent" class.
+   */
+  margin-left: 0;
+}
 
 
-/* Fixed position page header block formatting
+/* Fixed Position Page Header Block Formatting
  * ===========================================
  */
 #header
@@ -160,8 +184,8 @@ p+ul
    * becomes (99 - 15) / 5 = 16.8%.
    */
   display: inline-block;
-  min-width: 16.8%; margin-left: 1px; margin-right: 1px;
-  border-top: 1px solid; border-left: 1px solid; border-right: 2px solid;
+  min-width: 16.8%; margin: 0 1px; border-bottom: 3px solid;
+  border-top: 1px solid; border-left: 1px solid; border-right: 3px solid;
   border-top-left-radius: 7px; border-top-right-radius: 7px;
   border-bottom-style: none; border-color: #336699;
   color: #003366; background-color: #d9d9ff;
@@ -180,7 +204,7 @@ p+ul
 }
 
 
-/* General page content formatting
+/* General Page Content Formatting
  * ===============================
  */
 .page-view
@@ -230,7 +254,8 @@ dl.masthead+p
   margin-top: 1.3em;
 }
 
-/* Supplementary formatting for sections with numbered headings
+
+/* Supplementary Formatting for Sections with Numbered Headings
  * ============================================================
  */
 .h3-numbered
@@ -250,4 +275,47 @@ dl.masthead+p
   content: counter(h3-number) ". ";
 }
 
+
+/* Styling for In-Line Web-Search Form Fields
+ * ==========================================
+ * Derived from Juri Wornowitski's DuckDuckGo search widget implementation,
+ * version 3.0, as described at https://www.plainlight.com/ddg
+ */
+form.search
+{ /* Let the search box fill the entire width of its containing
+   * element, with 0.3em spacing above and below; (thus, when two
+   * search boxes are placed together, they will be separated by
+   * 0.6em vertical space).
+   */
+  width: 100%; margin: 0.3em auto;
+}
+form.search input
+{ /* Establish styling attributes for the keywords input field,
+   * which fills the search box from its left-hand side, most of
+   * the way across to the right...
+   */
+  display: block; outline: none; box-sizing: border-box;
+  border: 1px solid #003366; border-right: none; border-radius: 7px 0 0 7px;
+  height: 30px; width: calc( 100% - 60px ); padding: 0.6em;
+  font-size: 0.8em; background-color: #f3f3ff;
+}
+form.search button
+{ /* ...with a search button occupying the rightmost 60px.
+   */
+  float: right; height: 30px; width:  60px; font-size: 1em;
+  border: 1px solid #003366; border-left: none; border-radius: 0 7px 7px 0;
+  cursor: pointer; color: #336699; background-color: #ccccff;
+}
+form.search button:active, form.search button:hover
+{ /* Invert search button colours, when the mouse is placed
+   * over it, or while a search is in progress.
+   */
+  color: #ccccff; background-color: #6699cc;
+}
+form.search button:focus
+{ /* Do not outline the button, even when it has the focus.
+   */
+  outline:none;
+}
+
 /* $RCSfile$: end of file */