diff options
| -rw-r--r-- | docs/llvm.css | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/llvm.css b/docs/llvm.css index 1962fab9d4..7497664025 100644 --- a/docs/llvm.css +++ b/docs/llvm.css @@ -33,7 +33,9 @@ font-weight: bold; border-top: 2px solid #cecece } -.doc_text { text-align: left; padding-left: 20pt } +.doc_text { text-align: left; padding-left: 20pt } + +.doc_footer { text-align: left; padding: 0 0 0 0; font-size 12pt } /* Publications */ .pub_title { font-family: "Georgia,Palatino,Times,Roman"; |