UI headers and docker php setup

Author: rbbeeston

Diff for: docker-compose.yml

@@ -0,0 +1,11 @@
+version: '3.8'
+
+services:
+  web:
+    build: docker
+    volumes:
+      - .:/var/www/html
+      - ./docker/boost_config_local.php:/var/www/html/common/code/boost_config_local.php
+      - /opt/www/shared:/opt/www/shared
+    ports:
+      - "8080:80"

Diff for: docker/Dockerfile.txt

@@ -0,0 +1,6 @@
+# Use the same base image as nibrev/php-5.3-apache
+FROM nibrev/php-5.3-apache
+
+RUN docker-php-ext-install mysql
+RUN a2enmod headers rewrite expires deflate filter setenvif include
+

Diff for: docker/boost_config_local.php

@@ -0,0 +1,4 @@
+<?php
+define('BOOST_WEBSITE_SHARED_DIR', '/opt/www/shared');
+define('STATIC_DIR', '/opt/www/shared/archives/live');
+?>

Diff for: docker/download-archives.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+
+BOOST_WEBSITE_SHARED_DIR=/opt/www/shared
+mkdir -p $BOOST_WEBSITE_SHARED_DIR/archives/live
+cd $BOOST_WEBSITE_SHARED_DIR/archives/live
+wget https://archives.boost.io/release/1.85.0/source/boost_1_85_0.tar.gz
+tar -xvf boost_1_85_0.tar.gz

Diff for: style-v2/css_0/content.css

@@ -36,8 +36,6 @@
 #content h1, #content h2, #content h3, #content h4, #content h5, #content h6 {
   margin: 0em;
   color: #000000;
-  font-family: "Times New Roman",serif;
-  font-variant: small-caps;
   clear: both;
 }
 /* Titles for sections. */
@@ -547,7 +545,5 @@
     caption-side: top;
     text-align: left;
     margin: 0.5em 0;
-    font-family: 'Times New Roman', serif;
-    font-variant: small-caps;
     font-size: 115%;
 }

Diff for: style-v2/css_0/global.css

@@ -5,11 +5,35 @@
 */
 /* Heading, title and logo. */
 
+#heading {
+  padding-left: 10px;
+  padding-right: 10px;
+  background-color: rgb(229, 231, 235);
+}
+
+.heading-inner {
+  background-color: rgb(229, 231, 235);
+  padding: 6px 8px;
+  /*border-bottom: 1px solid rgb(209, 213, 219); << For when it goes to full grey bkgrnd */
+}
+
+.searchButton {
+  background-color:transparent;
+  outline:none;
+  border:none;
+  float:right;
+  height:25px;
+  width: 25px;
+  cursor:pointer;
+}
+
 /* Position the common heading. This appears on pages which have their own
  * markup. Since the body might have a margin this has to be absolutely
  * positioned. The spacer then pushes the page content down so that it
- * doesn't fall underneath the heading. */
-#boost-common-heading-doc {
+ * doesn't fall underneath the heading.
+
+
+/* #boost-common-heading-doc {
   position: absolute;
   left: 0;
   top: 0;
@@ -146,4 +170,4 @@ a.boost-common-header-inner:hover {
         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.5);
         margin-left: 300px;
     }
-}
+}*/

Diff for: style-v2/css_0/header.css

@@ -36,12 +36,12 @@
 #sidebar #menu ul li {
 }
 #sidebar #menu ul li h4 {
-  font-family: "Times New Roman",serif;
-  font-variant: small-caps;
   margin: 0em 0em 0.25em 0em;
   border: #CCCCCC 1px solid;
 }
 #sidebar #menu ul li h4 a {
+  font-weight:500;
+  font-variant:none;
 }
 #sidebar #menu ul li ul {
   list-style-type: none;

Diff for: style-v2/css_0/sidebar.css

@@ -5,6 +5,7 @@
 */
 
 /* Heading, title and logo. */
+/*
 #heading,
 #boost-common-heading-doc {
   background: #4F744D url(header-bg.png) repeat-x top left;
@@ -27,7 +28,7 @@
 }
 
 /* Links in the header. */
-#boost-common-heading-doc .heading-quote a,
+/*#boost-common-heading-doc .heading-quote a,
 #heading .heading-quote a {
   border-bottom: 1px solid #BBBBBB;
 }

Diff for: style-v2/css_0/theme_grass/header.css

@@ -9,7 +9,7 @@
 @import url(header.css);
 
 body {
-  background: #FFFFFF;
+  background: #fff;
   color: #000000;
 }