File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 593593 "argumentKind": "TextArgument",
594594 "mustBeProvided": true,
595595 "type": "Any text e.g. \"Hello, World!\"",
596- "description": null ,
596+ "description": "Has to be exactly 1 character long." ,
597597 "defaultValue": null,
598598 "consumesRemainingValues": false,
599599 "syntax": "\"character\"",
666666 "errors": []
667667 },
668668 "Text.Slice": {
669- "syntax": "Text.Slice \"text\" beginning_amount? end_amount",
669+ "syntax": "Text.Slice \"text\" beginning_amount? end_amount? ",
670670 "description": "Slices off characters from beginning and end of a text value.",
671671 "subgroup": "Text",
672672 "essential": false,
707707 {
708708 "name": "end amount",
709709 "argumentKind": "IntArgument",
710- "mustBeProvided": true ,
710+ "mustBeProvided": false ,
711711 "type": "A whole number bigger or equal 0",
712712 "description": "The amount of characters to remove from the end of the text.",
713- "defaultValue": null ,
713+ "defaultValue": "0" ,
714714 "consumesRemainingValues": false,
715- "syntax": "end_amount",
715+ "syntax": "end_amount? ",
716716 "enumValues": null,
717717 "enumDescription": null,
718718 "enumDescriptions": null,
Original file line number Diff line number Diff line change @@ -29,10 +29,33 @@ html {
2929}
3030
3131.navbar {
32- backdrop-filter : blur (14px );
3332 background : color-mix (in srgb, var (--ifm-navbar-background-color ) 86% , transparent);
3433}
3534
35+ /* Keep Docusaurus's mobile docs sidebar as a real viewport drawer. */
36+ @media (max-width : 996px ) {
37+ /* The desktop aside must never fall into the document flow on phones. */
38+ .theme-doc-sidebar-container {
39+ display : none;
40+ }
41+
42+ .navbar-sidebar {
43+ bottom : 0 ;
44+ height : auto;
45+ max-height : none;
46+ position : fixed;
47+ top : 0 ;
48+ z-index : 201 ;
49+ }
50+
51+ .navbar-sidebar__backdrop {
52+ bottom : 0 ;
53+ position : fixed;
54+ top : 0 ;
55+ z-index : 200 ;
56+ }
57+ }
58+
3659.navbar__logo img {
3760 border-radius : 0.35rem ;
3861}
You can’t perform that action at this time.
0 commit comments