diff options
| -rw-r--r-- | docs/llvm.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/llvm.css b/docs/llvm.css index 7497664025..26f6c45fdf 100644 --- a/docs/llvm.css +++ b/docs/llvm.css @@ -37,6 +37,9 @@ .doc_footer { text-align: left; padding: 0 0 0 0; font-size 12pt } +.doc_red { color: red } + + /* Publications */ .pub_title { font-family: "Georgia,Palatino,Times,Roman"; font-size: 24pt; |