Line data    Source code

       1              : import * as React from "react";
       2              : 
       3              : import * as style from './github_theme.module.css';
       4              : 
       5            1 : export function GitHubTheme(props: { children: React.ReactElement }) {
       6            1 :     return (
       7            1 :         <div className={style.base_style}>
       8            1 :             {props.children}
       9            1 :         </div>
      10              :     );
      11            1 : }