diff options
Diffstat (limited to 'docs/stylesheet.css')
-rw-r--r-- | docs/stylesheet.css | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/docs/stylesheet.css b/docs/stylesheet.css index f6ed8aadb9..ea7f4dccc0 100644 --- a/docs/stylesheet.css +++ b/docs/stylesheet.css @@ -1,7 +1,7 @@ +/* Copyright (c) 2020 ARM Limited. */ /* Changes to tabs.css */ .tabs, .tabs2, .tabs3 { - /* box-shadow: 0px 5px 30px rgba(0, 0, 0, 0.3); */ position: relative; } @@ -110,6 +110,8 @@ a.codeRef, a.codeRef:visited { div.fragment { background-color: #FCFCFC; border: 1px solid #CFCFCF; + padding: 8px; + margin: 10px 2px; } div.line.glow { @@ -124,10 +126,6 @@ body { background-color: #007fa3; } -.memitem.glow { - /* box-shadow: 0 0 15px orange; */ -} - .memproto, dl.reflist dt { border-top: 1px solid #B8B8B8; border-left: 1px solid #B8B8B8; @@ -168,12 +166,6 @@ dl.note border-color: #f68a33; } -#projectlogo -{ - width:150px; - text-align:left; -} - #projectname { font: 200% Tahoma, Arial,sans-serif; |