mirror of
https://github.com/enso-org/enso.git
synced 2024-12-18 18:32:01 +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
18 lines
1.0 KiB
XML
18 lines
1.0 KiB
XML
<rect width="32" height="32" fill="white"/>
|
|
<mask id="path-1-inside-1_7717_245722" fill="white">
|
|
<rect x="2" y="2" width="13" height="13" rx="2"/>
|
|
</mask>
|
|
<rect x="2" y="2" width="13" height="13" rx="2" stroke="#1F71D3" stroke-width="13" mask="url(#path-1-inside-1_7717_245722)"/>
|
|
<mask id="path-2-inside-2_7717_245722" fill="white">
|
|
<rect x="17" y="2" width="13" height="13" rx="2"/>
|
|
</mask>
|
|
<rect x="17" y="2" width="13" height="13" rx="2" stroke="#1F71D3" stroke-opacity="0.4" stroke-width="13" mask="url(#path-2-inside-2_7717_245722)"/>
|
|
<mask id="path-3-inside-3_7717_245722" fill="white">
|
|
<rect x="2" y="17" width="13" height="13" rx="2"/>
|
|
</mask>
|
|
<rect x="2" y="17" width="13" height="13" rx="2" stroke="#1F71D3" stroke-opacity="0.7" stroke-width="13" mask="url(#path-3-inside-3_7717_245722)"/>
|
|
<mask id="path-4-inside-4_7717_245722" fill="white">
|
|
<rect x="17" y="17" width="13" height="13" rx="2"/>
|
|
</mask>
|
|
<rect x="17" y="17" width="13" height="13" rx="2" stroke="#1F71D3" stroke-opacity="0.6" stroke-width="13" mask="url(#path-4-inside-4_7717_245722)"/>
|