HTML layout issues

[beutlich]

Two issues in the current HTML rendering of functions.tex

1. Excessive space both horizontally and vertically before IncludeDirectory item.
2. MyLicense.txt is rendered with % symbol which seems also unexpected.

[HansOlsson]

First issue happens when you click on IncludeDirectory in the index - and is a duplicate of https://github.com/modelica/ModelicaSpecification/issues/2967 that seems not fully resolved.

[HansOlsson]

For the first issue I see the following solutions - several sub-optimal ones:

• Just skip the target-before hack, accept that you cannot see that you link to
• Really investigate target-before in css
• Remove the banner with "Modelica Language Specification 3.7"
• Change the banner into a footer

[HansOlsson]

For the first issue I see the following solutions - several sub-optimal ones:

• Just skip the target-before hack, accept that you cannot see that you link to
• Really investigate target-before in css
• Remove the banner with "Modelica Language Specification 3.7"
• Change the banner into a footer

I think we should discuss this, even if we decide to do nothing. One option would be to make a contract for solving this.

Thinking more I realize that another solution would be to replace the banner by layout where you have a separate area below the banner and don't scroll the entire page, but only the area below the banner.

[henrikt-ma]

Thinking more I realize that another solution would be to replace the banner by layout where you have a separate area below the banner and don't scroll the entire page, but only the area below the banner.

Maybe OK for desktop uses, but doesn't sound very mobile friendly.

[HansOlsson]

Thinking more I realize that another solution would be to replace the banner by layout where you have a separate area below the banner and don't scroll the entire page, but only the area below the banner.

Maybe OK for desktop uses, but doesn't sound very mobile friendly.

True, but then I would even consider removing/minimizing the header for mobile, as the header takes too much space and in some configurations you see text scrolling behind the header on mobile which is just annoying.