enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-24 00:27:16 +03:00
Code Issues Projects Releases Wiki Activity

Fix a styling issue with docs titles (#1962)

Browse Source
This commit is contained in:
Maciej Mikołajek 2021-08-19 09:46:47 +02:00 committed by GitHub
parent 385464d0f0
commit 32261a180a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/scala/syntax/definition/src/main/scala/org/enso/syntax/text/ast/Doc.scala
View File

@ -43,9 +43,11 @@ final case class Doc(
def htmlWithTitle(title: String): Doc.HTML = {
if (title != "") {
Seq(
HTML.div(
HTML.div(HTML.`class` := "doc-title-container")(
HTML.div(HTML.`class` := "doc-title-name")(title),
tags.html
)
)(synopsis.html)(body.html)
)
} else {