Loading tools/generate-doc-preview-index.sh +32 −0 Original line number Diff line number Diff line Loading @@ -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>' Loading Loading
tools/generate-doc-preview-index.sh +32 −0 Original line number Diff line number Diff line Loading @@ -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>' Loading