Searched refs:editButtons (Results 1 – 13 of 13) sorted by relevance
| /plugin/mizarveifiabledocs/ |
| D | script.js | 8 const editButtons = document.querySelector('.editButtons');
9 if (editButtons && !document.getElementById('edbtn__miz2prel')) {
143 editButtons.appendChild(miz2prelButton);
144 editButtons.appendChild(clearButton); // Clearボタンを追加
|
| /plugin/mizarproofchecker/ |
| D | script.js | 8 const editButtons = document.querySelector('.editButtons');
9 if (editButtons && !document.getElementById('edbtn__miz2prel')) {
143 editButtons.appendChild(miz2prelButton);
144 editButtons.appendChild(clearButton); // Clearボタンを追加
|
| /plugin/mizarverifiabledocs/ |
| H A D | script.js | 7 const editButtons = document.querySelector('.editButtons');
8 if (editButtons && !document.getElementById('edbtn__miz2prel')) {
149 editButtons.appendChild(miz2prelButton);
150 editButtons.appendChild(clearButton);
|
| /plugin/ckgedit/ |
| D | style.css | 4 .editButtons { margin-top: 5px; }
5 .editButtons input { margin-bottom: 5px; }
|
| /plugin/ckgdoku/ |
| D | style.css | 4 .editButtons { margin-top: 5px; }
5 .editButtons input { margin-bottom: 5px; }
|
| /plugin/moaieditor/templates/ |
| D | default.js | 52 editButtons : this.find_EditButtons, property
116 this.elements.editButtons.appendChild(moaiEditor.start.button);
|
| D | bootstrap3.js | 41 this.elements.editButtons.appendChild(moaiEditor.start.button);
|
| /plugin/zwidoku/files/ |
| H A D | doku.css | 2623 …sistant, .doku_form .no button, #tool__bar button, #dokuwiki__content .editButtons button, #dokuwi…
2640 …sistant, .doku_form .no button, #tool__bar button, #dokuwiki__content .editButtons button, #dokuwi…
2644 …ku_form .no button:hover, #tool__bar button:hover, #dokuwiki__content .editButtons button:hover, #…
2649 …editButtons button:focus, #dokuwiki__content #page__revisions button:focus, #dokuwiki__content .se…
2654 …editButtons button.disabled, #dokuwiki__content #page__revisions button.disabled, #dokuwiki__conte…
2659 …, #tool__bar button:not(:disabled):not(.disabled), #dokuwiki__content .editButtons button:not(:dis…
2663 …editButtons button:not(:disabled):not(.disabled):active, #dokuwiki__content #page__revisions butto…
2667 …editButtons button:not(:disabled):not(.disabled):active:focus, #dokuwiki__content #page__revisions…
2678 .btn-primary, #dw__login button, .search-results-form button, #dokuwiki__content .editButtons butto…
2685 …n button:hover, .search-results-form button:hover, #dokuwiki__content .editButtons button:hover, #…
[all …]
|
| H A D | common.css | 1 …sor:pointer;}.dokuwiki .editBar .editButtons{display:inline;margin-right:1em;}[dir=rtl] .dokuwiki …
|
| /plugin/combo/resources/theme/default/pages/templates/ |
| H A D | app-edit.css | 39 #wiki__editbar .editButtons {
|
| /plugin/html2pdf/snorriheim/ |
| D | design.css | 159 div.dokuwiki div#wiki__editbar div.editButtons {
|
| /plugin/offline/ui/dokuwiki/ |
| D | screen.css | 1 …wiki #size__ctl img{cursor:pointer;}div.dokuwiki div#wiki__editbar div.editButtons{float:left;padd…
|
| /plugin/zwidoku/css/ |
| H A D | style.css | 6878 .dokuwiki .editBar .editButtons {
6882 [dir=rtl] .dokuwiki .editBar .editButtons {
|