diff --git a/tools/generate-doc-preview-index.sh b/tools/generate-doc-preview-index.sh index ad5c043f1d4d9fcda8dd2149b076e2469d910788..5dd495f4c0eae48ec07de1b07ab87cc309ac1905 100755 --- a/tools/generate-doc-preview-index.sh +++ b/tools/generate-doc-preview-index.sh @@ -27,6 +27,38 @@ git diff --name-only $BASE_COMMIT_SHA -- $(git rev-parse --show-toplevel)/rust-r echo '<html>' echo '<head>' echo ' <metadata charset="utf-8">' + echo " <style>" + echo " html {" + echo " font-size: 62.5%;" + echo " }" + echo " body {" + echo " max-width: 900px;" + echo " margin: 0 auto;" + echo " font-size: 1.6rem;" + echo " font-family: AmazonEmber, Helvetica Neue, Helvetica, Arial, sans-serif;" + echo " line-height: 1.6;" + echo " font-weight: 400;" + echo " color: #333;" + echo " }" + echo " h2 {" + echo " background-color: #232f3e;" + echo " color: white;" + echo " padding: 1rem;" + echo " }" + echo " a {" + echo " color: #007eb9;" + echo " outline: 0;" + echo " text-decoration: none;" + echo " }" + echo " a:visited {" + echo " color: #005b86;" + echo " }" + echo " a:active, a:hover {" + echo " outline: 0;" + echo " color: #e47911;" + echo " text-decoration: underline;" + echo " }" + echo " </style>" echo " <title>Doc preview: ${DOC_TITLE_CONTEXT}</title>" echo '</head>' echo '<body>'