const settingsBtnElt = document.getElementById("settingsBtn");
const indicWidth = !!settingsBtnElt //-2 for border:
? parseFloat(window.getComputedStyle(settingsBtnElt).height.slice(0,-2)) - 2
- : 37; //TODO: always 37?
+ : (smallScreen ? 31 : 37);
if (this.mode == "human")
{
let connectedIndic = h(
"tooltip": true,
"topindicator": true,
"indic-right": true,
- "settings-btn": true,
- "small": smallScreen,
+ "settings-btn": !smallScreen,
+ "settings-btn-small": smallScreen,
},
},
[h('i', { 'class': { "material-icons": true } }, "settings")]
{
elementArray.push(
h('div',
- { attrs: { id: "pgn-div" } },
+ {
+ attrs: { id: "pgn-div" },
+ "class": { "section-content": true },
+ },
[
h('a',
{
h('p',
{
attrs: { id: "pgn-game" },
- on: { click: this.download },
domProps: { innerHTML: this.pgnTxt }
}
- )
+ ),
+ h('button',
+ {
+ attrs: { "id": "downloadBtn" },
+ on: { click: this.download },
+ domProps: { innerHTML: "Download game" },
+ }
+ ),
]
)
);
// Show current FEN
elementArray.push(
h('div',
- { attrs: { id: "fen-div" } },
+ {
+ attrs: { id: "fen-div" },
+ "class": { "section-content": true },
+ },
[
h('p',
{