Commit 0a4812d8685757b0b63b81c113959b5efc505f2c
1 parent
7994b81f
made subentry headers sticky
Showing
2 changed files
with
6 additions
and
6 deletions
entries/static/entries/js/entries.js
... | ... | @@ -84,9 +84,9 @@ function subentries2dom(subentries) { |
84 | 84 | var subentry = subentries[i]; |
85 | 85 | var subentry_div = document.createElement('div'); |
86 | 86 | subentry_div.className = 'subentry mb-3'; |
87 | - var subentry_header = document.createElement('h5'); | |
88 | - subentry_header.className = 'bg-primary text-light p-1 mb-3'; | |
89 | - subentry_header.innerHTML = subentry.str; | |
87 | + var subentry_header = document.createElement('div'); | |
88 | + subentry_header.className = 'bg-light border-0 mx-0 mt-0 mb-3 px-0 pt-2 pb-0 sticky-top'; | |
89 | + subentry_header.innerHTML = '<h5 class="bg-primary text-light p-1">' + subentry.str + '</h5>'; | |
90 | 90 | subentry_div.append(subentry_header) |
91 | 91 | for (var j in subentry.schemata) { |
92 | 92 | subentry_div.append(schema2dom(subentry.schemata[j])); |
... | ... |
entries/templates/entry_display.html
... | ... | @@ -21,8 +21,8 @@ |
21 | 21 | <div class="tab-content h-100 w-100 p-0" id="entryTabsContent"> |
22 | 22 | <div class="col h-100 w-100 px-3 py-0 tab-pane show active" id="semantics" role="tabpanel" aria-labelledby="semantics-tab"> |
23 | 23 | <div class="row p-0" id="semantics-top-pane"> |
24 | - <div class="col h-100 p-2 overflow-auto" id="semantics-frames"></div> | |
25 | - <div class="col h-100 p-2 overflow-auto" id="semantics-schemata"></div> | |
24 | + <div class="col h-100 pt-2 pb-0 px-2 overflow-auto" id="semantics-frames"></div> | |
25 | + <div class="col h-100 py-0 px-2 overflow-auto" id="semantics-schemata"></div> | |
26 | 26 | </div> |
27 | 27 | <div class="row p-2 overflow-auto" id="semantics-bottom-pane"> |
28 | 28 | <table id="semantics-examples" class="table table-sm table-hover"> |
... | ... | @@ -40,7 +40,7 @@ |
40 | 40 | </div> |
41 | 41 | </div> |
42 | 42 | <div class="col h-100 w-100 px-3 py-0 tab-pane" id="syntax" role="tabpanel" aria-labelledby="syntax-tab"> |
43 | - <div class="col w-100 p-2 overflow-auto" id="syntax-schemata"></div> | |
43 | + <div class="col w-100 py-0 px-2 overflow-auto" id="syntax-schemata"></div> | |
44 | 44 | <div class="col w-100 p-2 overflow-auto" id="syntax-examples-pane"> |
45 | 45 | <table id="syntax-examples" class="table table-sm table-hover table-responsive"> |
46 | 46 | <thead> |
... | ... |