mirror of
https://github.com/enso-org/enso.git
synced 2024-12-20 00:01:37 +03:00
341b235fb1
Two tasks: - [Task link](https://www.pivotaltracker.com/story/show/184024127) - [Task link](https://www.pivotaltracker.com/story/show/184024148) This PR implements the generation of HTML from Documentation IR for section headers and the Synopsis section. The synopsis contains documentation of the type/module + a list of the type's constructors. https://user-images.githubusercontent.com/6566674/212684680-d999b525-56c7-4952-8ccc-192989acdf33.mp4 # Important Notes - Paddings are removed from the documentation panel because they are now implemented in the HTML generator, but it doesn't affect the looks much (documentation still looks awful). All other changes do not affect the current look of the component browser and are only shown in the demo scene. https://user-images.githubusercontent.com/6566674/212685347-addb9204-8441-44be-8d8e-3c2626d77f77.mp4
20 lines
482 B
CSS
20 lines
482 B
CSS
/*
|
|
In this file, one can define custom CSS rules for use in the documentation panel.
|
|
The Tailwind CLI utility uses this file as an input file, and the content is copied to
|
|
the final CSS stylesheet of the documentation panel.
|
|
See the crate documentation to learn more.
|
|
*/
|
|
|
|
@tailwind base;
|
|
@tailwind components;
|
|
@tailwind utilities;
|
|
|
|
.enso-docs {
|
|
font-family: "M PLUS 1", DejaVuSansMonoBook, sans-serif;
|
|
}
|
|
|
|
ul {
|
|
list-style-type: disc;
|
|
list-style-position: inside;
|
|
}
|