: import jp.co.progress_llc.portal.core.ui.theme.PortalTheme import jp.co.progress_llc.portal.core.ui.theme.AppTheme : setContent { PortalTheme { AppTheme { : fun GreetingPreview() { PortalTheme { AppTheme { :