diff options
Diffstat (limited to 'llvm')
| -rw-r--r-- | llvm/docs/llvm.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/llvm/docs/llvm.css b/llvm/docs/llvm.css index 74976640251..26f6c45fdfa 100644 --- a/llvm/docs/llvm.css +++ b/llvm/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; |
