diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/llvm.css | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/docs/llvm.css b/docs/llvm.css index d665dd0276..b5073e1ca3 100644 --- a/docs/llvm.css +++ b/docs/llvm.css @@ -33,7 +33,7 @@ address     { clear: right; }                    text-align: left;  font-size: 12pt; padding: 4pt 4pt 4pt 4pt;                    margin: 1.5em 0.5em 1.5em 0.5em } -.doc_subsubsection { margin: 1.5em 0.5em 1.5 0.5em; +.doc_subsubsection { margin: 1.5em 0.5em 1.5em 0.5em;                       padding: 20pt 4pt 4pt 4pt;                       font-weight: bold; font-style: oblique;                       border-bottom: 1px solid #999999; font-size: 12pt } | 
