diff options
author | rihab kouki <rihab.kouki@st.com> | 2020-07-28 11:24:49 +0100 |
---|---|---|
committer | rihab kouki <rihab.kouki@st.com> | 2020-07-28 11:24:49 +0100 |
commit | 96d6da4e252b06dcfdc041e7df23e86161c33007 (patch) | |
tree | a262f59bb1db7ec7819acae435f5049cbe5e2354 /docs/Pack/html/search/search.css | |
parent | 9f95ff5b6ba01db09552b84a0ab79607060a2666 (diff) | |
download | st-cmsis-core-lowfat-master.tar.gz st-cmsis-core-lowfat-master.tar.bz2 st-cmsis-core-lowfat-master.zip |
Diffstat (limited to 'docs/Pack/html/search/search.css')
-rw-r--r-- | docs/Pack/html/search/search.css | 49 |
1 files changed, 40 insertions, 9 deletions
diff --git a/docs/Pack/html/search/search.css b/docs/Pack/html/search/search.css index 1746d13..4d7612f 100644 --- a/docs/Pack/html/search/search.css +++ b/docs/Pack/html/search/search.css @@ -4,22 +4,16 @@ float: left; } -#searchli { - float: right; - display: block; - width: 170px; - height: 24px; -} - #MSearchBox { white-space : nowrap; position: absolute; float: none; display: inline; - margin-top: 3px; + margin-top: 8px; right: 0px; width: 170px; z-index: 102; + background-color: white; } #MSearchBox .left @@ -54,7 +48,7 @@ height:19px; background:url('search_m.png') repeat-x; border:none; - width:116px; + width:111px; margin-left:20px; padding-left:4px; color: #909090; @@ -224,6 +218,10 @@ a.SRScope:focus, a.SRScope:active { text-decoration: underline; } +span.SRScope { + padding-left: 4px; +} + .SRPage .SRStatus { padding: 2px 5px; font-size: 8pt; @@ -238,3 +236,36 @@ DIV.searchresults { margin-left: 10px; margin-right: 10px; } + +/*---------------- External search page results */ + +.searchresult { + background-color: #F0F3F8; +} + +.pages b { + color: white; + padding: 5px 5px 3px 5px; + background-image: url("../tab_a.png"); + background-repeat: repeat-x; + text-shadow: 0 1px 1px #000000; +} + +.pages { + line-height: 17px; + margin-left: 4px; + text-decoration: none; +} + +.hl { + font-weight: bold; +} + +#searchresults { + margin-bottom: 20px; +} + +.searchpages { + margin-top: 10px; +} + |