From face306a1e3f18a3c35811c05f5652b74c5d3854 Mon Sep 17 00:00:00 2001
From: Gintas Grigelionis
Date: Sun, 4 Mar 2018 15:46:16 +0100
Subject: [PATCH] Add missing markup/styling
---
manual/Tasks/ftp.html | 2 +-
manual/Tasks/makeurl.html | 2 +-
manual/stylesheets/style.css | 4 ++++
3 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/manual/Tasks/ftp.html b/manual/Tasks/ftp.html
index 48c74eb24..c48e3d07a 100644
--- a/manual/Tasks/ftp.html
+++ b/manual/Tasks/ftp.html
@@ -329,7 +329,7 @@ connection.
No |
-Note about remotedir attribute
+Note about remotedir attribute
diff --git a/manual/Tasks/makeurl.html b/manual/Tasks/makeurl.html
index f4275ba58..a02c46f0d 100644
--- a/manual/Tasks/makeurl.html
+++ b/manual/Tasks/makeurl.html
@@ -32,7 +32,7 @@ supported; if present, these are turned into the URLs with the supplied sep
them.
Parameters
-
+
Attribute |
Description |
Type |
diff --git a/manual/stylesheets/style.css b/manual/stylesheets/style.css
index 187953a8e..37ad35ebc 100644
--- a/manual/stylesheets/style.css
+++ b/manual/stylesheets/style.css
@@ -94,6 +94,10 @@ h3 > code, h3 > samp {
font-size: 1.5rem;
}
+h3 > var {
+ font-size: 1.125rem;
+}
+
pre {
background-color: #efefef;
margin-right: 4rem;