import useBrokenLinks from '@docusaurus/useBrokenLinks';
import React from 'react';
export function Anchor(props: {id: string}) {
useBrokenLinks().collectAnchor(props.id);
return <span className="anchorOffset" {...props}/>;
}
export function Def({id, code, ...props}: {id: string, code?: string}) {
if (code === undefined) {
code = id.split('.').pop();
}
useBrokenLinks().collectAnchor(id);
return <a href={`#${id}`} {...props}><code id={id} title={id} className="anchorOffset">{code}</code></a>;
}
export function Opt({id, code, ...props}: {id: string, code?: string}) {
if (code === undefined) {
code = id.split('.').pop();
}
return <a href={`#${id}`} {...props}><code title={id} className="anchorOffset">{code}</code></a>;
}