[web] CSS updates for the blog.

oilshell · Jan 13, 2020 · d293dfa · d293dfa
1 parent fbbbf98
commit d293dfa
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/devtools/release-version.sh b/devtools/release-version.sh
@@ -509,4 +509,9 @@ announcement-0.7.pre11() {
   write-no-announcement
 }
 
+blog-redirect() {
+  html-redirect 'making-plans.html' > $SITE_DEPLOY_DIR/blog/2020/01/11.html
+}
+
+
 "$@"
diff --git a/web/blog.css b/web/blog.css
@@ -23,6 +23,13 @@ h3 {
   font-size: 1.0em;  /* Similar to default h4 */
 }
 
+/* Same as h4, but doesn't appear in TOC */
+h4 {
+  margin: 0em;
+  color: darkgreen;
+  font-size: 1.0em;
+}
+
 /* Exclude <pre><code>.  Is there a better way to do this?  */
 p code, div code, li code, h2 code, h3 code {
   color: green;