Update bootstrap, cleanup css, make pages more responsive

This commit is contained in:
jeanpierre
2020-07-22 22:57:44 +02:00
committed by Andreas Hocevar
parent 4eab8ecd40
commit 9616dee9f7
23 changed files with 337 additions and 515 deletions
@@ -7,9 +7,9 @@ function toShortName(name) {
function getItemCssClass(type) {
if (type === 'module') {
return 'glyphicon-plus';
return 'fa-plus';
} else if (type === 'class') {
return 'glyphicon-chevron-right';
return 'fa-chevron-right';
}
return '';
}
@@ -50,7 +50,7 @@ function listContent(item, title, listItemPrinter) {
}
}
?>
<div class="navigation">
<div class="navigation col-md-4 col-lg-3">
<div class="search">
<input id="search" type="text" autocomplete="off" class="form-control input-sm" placeholder="Search Documentation">
</div>
@@ -58,7 +58,7 @@ function listContent(item, title, listItemPrinter) {
this.nav.forEach(function (item) { ?>
<li class="item item-<?js= item.type ?>" data-longname="<?js= item.longname ?>" data-name="<?js= item.prettyname.toLowerCase() ?>">
<span class="title toggle">
<span class="glyphicon <?js= getItemCssClass(item.type) ?>"></span>
<span class="fa <?js= getItemCssClass(item.type) ?> mr-2 mt-1"></span>
<span><?js= self.linkto(item.longname, item.prettyname.replace(/[.~\/]/g, '\u200b$&')) ?></span>
</span><?js
listContent(item, 'Members', printListItem);