aboutsummaryrefslogtreecommitdiff
path: root/doc-tool
diff options
context:
space:
mode:
Diffstat (limited to 'doc-tool')
-rw-r--r--doc-tool/resources/css/api-page.css4
-rw-r--r--doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala18
2 files changed, 18 insertions, 4 deletions
diff --git a/doc-tool/resources/css/api-page.css b/doc-tool/resources/css/api-page.css
index 47f88ed6c..e2927f0d4 100644
--- a/doc-tool/resources/css/api-page.css
+++ b/doc-tool/resources/css/api-page.css
@@ -19,6 +19,10 @@ div#entity-title > span#entity-kind {
font-weight: 100;
}
+div#entity-body table > tbody > tr > td {
+ padding: 10px;
+}
+
div.entity-section {
background-color: #fff;
border-radius: 4px;
diff --git a/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala b/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala
index d190eea88..a2dad5315 100644
--- a/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala
+++ b/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala
@@ -5,14 +5,18 @@ package staticsite
import java.nio.file.{ Files, FileSystems }
import java.nio.file.StandardCopyOption.REPLACE_EXISTING
import java.io.{ File => JFile }
-import java.util.{ List => JList, Map => JMap, Collections => JCollections }
+import java.util.{ List => JList, Map => JMap, Arrays }
import java.nio.file.Path
import java.io.ByteArrayInputStream
import java.nio.charset.StandardCharsets
import com.vladsch.flexmark.parser.ParserEmulationFamily
import com.vladsch.flexmark.parser.Parser
-import com.vladsch.flexmark.ext.tables.TablesExtension
+import com.vladsch.flexmark.ext.gfm.tables.TablesExtension
+import com.vladsch.flexmark.ext.gfm.strikethrough.StrikethroughExtension
+import com.vladsch.flexmark.ext.gfm.tasklist.TaskListExtension
+import com.vladsch.flexmark.ext.emoji.EmojiExtension
+import com.vladsch.flexmark.ext.autolink.AutolinkExtension
import com.vladsch.flexmark.ext.front.matter.YamlFrontMatterExtension
import com.vladsch.flexmark.util.options.{ DataHolder, MutableDataSet }
@@ -340,6 +344,12 @@ object Site {
val markdownOptions: DataHolder =
new MutableDataSet()
.setFrom(ParserEmulationFamily.KRAMDOWN.getOptions)
- .set(Parser.EXTENSIONS, JCollections.singleton(TablesExtension.create()))
- .set(Parser.EXTENSIONS, JCollections.singleton(YamlFrontMatterExtension.create()))
+ .set(Parser.EXTENSIONS, Arrays.asList(
+ TablesExtension.create(),
+ TaskListExtension.create(),
+ AutolinkExtension.create(),
+ EmojiExtension.create(),
+ YamlFrontMatterExtension.create(),
+ StrikethroughExtension.create()
+ ))
}