{"action":"created","issue":{"url":"https://api.github.com/repos/metamath/set.mm/issues/696","repository_url":"https://api.github.com/repos/metamath/set.mm","labels_url":"https://api.github.com/repos/metamath/set.mm/issues/696/labels{/name}","comments_url":"https://api.github.com/repos/metamath/set.mm/issues/696/comments","events_url":"https://api.github.com/repos/metamath/set.mm/issues/696/events","html_url":"https://github.com/metamath/set.mm/issues/696","id":391334521,"node_id":"MDU6SXNzdWUzOTEzMzQ1MjE=","number":696,"title":"How handle CSS in .raw.html?","user":{"login":"david-a-wheeler","id":813150,"node_id":"MDQ6VXNlcjgxMzE1MA==","avatar_url":"https://avatars0.githubusercontent.com/u/813150?v=4","gravatar_id":"","url":"https://api.github.com/users/david-a-wheeler","html_url":"https://github.com/david-a-wheeler","followers_url":"https://api.github.com/users/david-a-wheeler/followers","following_url":"https://api.github.com/users/david-a-wheeler/following{/other_user}","gists_url":"https://api.github.com/users/david-a-wheeler/gists{/gist_id}","starred_url":"https://api.github.com/users/david-a-wheeler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/david-a-wheeler/subscriptions","organizations_url":"https://api.github.com/users/david-a-wheeler/orgs","repos_url":"https://api.github.com/users/david-a-wheeler/repos","events_url":"https://api.github.com/users/david-a-wheeler/events{/privacy}","received_events_url":"https://api.github.com/users/david-a-wheeler/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-12-15T02:13:31Z","updated_at":"2018-12-17T19:53:47Z","closed_at":"2018-12-17T19:53:47Z","author_association":"CONTRIBUTOR","body":"Do we want to use the new \"/CSS\" option when generating files from .raw.html? If so, what CSS should be removed?  What should be kept?  Should we modify set.mm so that more goes into the CSS there?\r\n\r\n@nmegill - do you have a strong feeling about any of this?"},"comment":{"url":"https://api.github.com/repos/metamath/set.mm/issues/comments/447976622","html_url":"https://github.com/metamath/set.mm/issues/696#issuecomment-447976622","issue_url":"https://api.github.com/repos/metamath/set.mm/issues/696","id":447976622,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0Nzk3NjYyMg==","user":{"login":"david-a-wheeler","id":813150,"node_id":"MDQ6VXNlcjgxMzE1MA==","avatar_url":"https://avatars0.githubusercontent.com/u/813150?v=4","gravatar_id":"","url":"https://api.github.com/users/david-a-wheeler","html_url":"https://github.com/david-a-wheeler","followers_url":"https://api.github.com/users/david-a-wheeler/followers","following_url":"https://api.github.com/users/david-a-wheeler/following{/other_user}","gists_url":"https://api.github.com/users/david-a-wheeler/gists{/gist_id}","starred_url":"https://api.github.com/users/david-a-wheeler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/david-a-wheeler/subscriptions","organizations_url":"https://api.github.com/users/david-a-wheeler/orgs","repos_url":"https://api.github.com/users/david-a-wheeler/repos","events_url":"https://api.github.com/users/david-a-wheeler/events{/privacy}","received_events_url":"https://api.github.com/users/david-a-wheeler/received_events","type":"User","site_admin":false},"created_at":"2018-12-17T19:53:47Z","updated_at":"2018-12-17T19:53:47Z","author_association":"CONTRIBUTOR","body":"I think this has been resolved, so I'm closing this."}}
{"actor":{"display_login":"david-a-wheeler"}}