{"action":"created","comment":{"url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/comments/157131650","pull_request_review_id":83725357,"id":157131650,"diff_hunk":"@@ -1,164 +1,52 @@\n+/*\n+ * These are the CSS for the RESOLVEWebAPI\n+ * Created by: Yu-Shan Sun\n+ * Last Modified: 09/11/2017\n+ */\n \n-body{\n-    margin: 0 auto;\n+/* General CSS */\n+html {\n+    position: relative;\n+    min-height: 100%;\n }\n \n-#contentWrapper{\n-    width: 800px;\n-    height: 100%;\n-    margin: 0 auto;\n-    border-left: 2px solid;\n-    background: white;\n+body {\n+    /* Leaving space for footer */\n+    margin-bottom: 60px;\n }\n \n-header#page_header{\n-    width: auto;\n-    height: 75px;\n-    margin: 0px 10px;\n-    padding: 10px 0px;\n+/* Header-Related CSS */\n+#page-header {\n+    min-height: 76px;\n+    background-color: #522D80;\n }\n \n-#rsrg_logo{\n-    width: 400px;\n-    height: 68px;\n-    display: inline;\n-    float: left;\n-    background: url(../images/rsrg.png);\n+#page-header .nav-link {\n+    color: #D4C99E;\n }\n \n-#nsf_logo{\n-    width: 67px;\n-    height: 68px;\n-    display: inline;\n-    float: right;\n-    background: url(../images/nsf1_orig.gif);\n-    background-size: 67px;\n+#page-header .nav-link:hover {","path":"public/stylesheets/main.css","position":54,"original_position":54,"commit_id":"2df2f30bb8c1dae4a7522e549a0d5bfb7529d95c","original_commit_id":"2df2f30bb8c1dae4a7522e549a0d5bfb7529d95c","user":{"login":"houndci-bot","id":6697940,"avatar_url":"https://avatars0.githubusercontent.com/u/6697940?v=4","gravatar_id":"","url":"https://api.github.com/users/houndci-bot","html_url":"https://github.com/houndci-bot","followers_url":"https://api.github.com/users/houndci-bot/followers","following_url":"https://api.github.com/users/houndci-bot/following{/other_user}","gists_url":"https://api.github.com/users/houndci-bot/gists{/gist_id}","starred_url":"https://api.github.com/users/houndci-bot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/houndci-bot/subscriptions","organizations_url":"https://api.github.com/users/houndci-bot/orgs","repos_url":"https://api.github.com/users/houndci-bot/repos","events_url":"https://api.github.com/users/houndci-bot/events{/privacy}","received_events_url":"https://api.github.com/users/houndci-bot/received_events","type":"User","site_admin":false},"body":"Expected \"#page-header .nav-link:hover\" to have no more than 0 id selectors   selector-max-id","created_at":"2017-12-15T06:30:59Z","updated_at":"2017-12-15T06:30:59Z","html_url":"https://github.com/ClemsonRSRG/RESOLVEWebAPI/pull/20#discussion_r157131650","pull_request_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/20","author_association":"NONE","_links":{"self":{"href":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/comments/157131650"},"html":{"href":"https://github.com/ClemsonRSRG/RESOLVEWebAPI/pull/20#discussion_r157131650"},"pull_request":{"href":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/20"}}},"pull_request":{"url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/20","id":158527079,"html_url":"https://github.com/ClemsonRSRG/RESOLVEWebAPI/pull/20","diff_url":"https://github.com/ClemsonRSRG/RESOLVEWebAPI/pull/20.diff","patch_url":"https://github.com/ClemsonRSRG/RESOLVEWebAPI/pull/20.patch","issue_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/issues/20","number":20,"state":"open","locked":false,"title":"Analyze Theory Files","user":{"login":"yushan87","id":2300960,"avatar_url":"https://avatars3.githubusercontent.com/u/2300960?v=4","gravatar_id":"","url":"https://api.github.com/users/yushan87","html_url":"https://github.com/yushan87","followers_url":"https://api.github.com/users/yushan87/followers","following_url":"https://api.github.com/users/yushan87/following{/other_user}","gists_url":"https://api.github.com/users/yushan87/gists{/gist_id}","starred_url":"https://api.github.com/users/yushan87/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yushan87/subscriptions","organizations_url":"https://api.github.com/users/yushan87/orgs","repos_url":"https://api.github.com/users/yushan87/repos","events_url":"https://api.github.com/users/yushan87/events{/privacy}","received_events_url":"https://api.github.com/users/yushan87/received_events","type":"User","site_admin":false},"body":"This took us forever, but now the `WebAPI` invokes the latest version of the `RESOLVE` compiler and analyzes a `Theory` file.\r\n\r\nThis also closes #8, #10 and begin the deal with #11.","created_at":"2017-12-15T05:38:03Z","updated_at":"2017-12-15T06:30:59Z","closed_at":null,"merged_at":null,"merge_commit_sha":"5fe4b0954a7f580ff64634dfb77edce7a7cf391e","assignee":null,"assignees":[],"requested_reviewers":[],"milestone":null,"commits_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/20/commits","review_comments_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/20/comments","review_comment_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/comments{/number}","comments_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/issues/20/comments","statuses_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/statuses/2df2f30bb8c1dae4a7522e549a0d5bfb7529d95c","head":{"label":"yushan87:theory-analyze","ref":"theory-analyze","sha":"2df2f30bb8c1dae4a7522e549a0d5bfb7529d95c","user":{"login":"yushan87","id":2300960,"avatar_url":"https://avatars3.githubusercontent.com/u/2300960?v=4","gravatar_id":"","url":"https://api.github.com/users/yushan87","html_url":"https://github.com/yushan87","followers_url":"https://api.github.com/users/yushan87/followers","following_url":"https://api.github.com/users/yushan87/following{/other_user}","gists_url":"https://api.github.com/users/yushan87/gists{/gist_id}","starred_url":"https://api.github.com/users/yushan87/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yushan87/subscriptions","organizations_url":"https://api.github.com/users/yushan87/orgs","repos_url":"https://api.github.com/users/yushan87/repos","events_url":"https://api.github.com/users/yushan87/events{/privacy}","received_events_url":"https://api.github.com/users/yushan87/received_events","type":"User","site_admin":false},"repo":{"id":59502855,"name":"RESOLVEWebAPI","full_name":"yushan87/RESOLVEWebAPI","owner":{"login":"yushan87","id":2300960,"avatar_url":"https://avatars3.githubusercontent.com/u/2300960?v=4","gravatar_id":"","url":"https://api.github.com/users/yushan87","html_url":"https://github.com/yushan87","followers_url":"https://api.github.com/users/yushan87/followers","following_url":"https://api.github.com/users/yushan87/following{/other_user}","gists_url":"https://api.github.com/users/yushan87/gists{/gist_id}","starred_url":"https://api.github.com/users/yushan87/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yushan87/subscriptions","organizations_url":"https://api.github.com/users/yushan87/orgs","repos_url":"https://api.github.com/users/yushan87/repos","events_url":"https://api.github.com/users/yushan87/events{/privacy}","received_events_url":"https://api.github.com/users/yushan87/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/yushan87/RESOLVEWebAPI","description":"This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.","fork":true,"url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI","forks_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/forks","keys_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/keys{/key_id}","collaborators_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/teams","hooks_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/hooks","issue_events_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/issues/events{/number}","events_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/events","assignees_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/assignees{/user}","branches_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/branches{/branch}","tags_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/tags","blobs_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/git/refs{/sha}","trees_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/git/trees{/sha}","statuses_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/statuses/{sha}","languages_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/languages","stargazers_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/stargazers","contributors_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/contributors","subscribers_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/subscribers","subscription_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/subscription","commits_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/commits{/sha}","git_commits_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/git/commits{/sha}","comments_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/comments{/number}","issue_comment_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/issues/comments{/number}","contents_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/contents/{+path}","compare_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/compare/{base}...{head}","merges_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/merges","archive_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/downloads","issues_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/issues{/number}","pulls_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/pulls{/number}","milestones_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/milestones{/number}","notifications_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/labels{/name}","releases_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/releases{/id}","deployments_url":"https://api.github.com/repos/yushan87/RESOLVEWebAPI/deployments","created_at":"2016-05-23T17:12:47Z","updated_at":"2016-05-23T17:12:48Z","pushed_at":"2017-12-15T06:30:47Z","git_url":"git://github.com/yushan87/RESOLVEWebAPI.git","ssh_url":"git@github.com:yushan87/RESOLVEWebAPI.git","clone_url":"https://github.com/yushan87/RESOLVEWebAPI.git","svn_url":"https://github.com/yushan87/RESOLVEWebAPI","homepage":null,"size":15915,"stargazers_count":0,"watchers_count":0,"language":"Java","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":0,"license":{"key":"other","name":"Other","spdx_id":null,"url":null},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"ClemsonRSRG:master","ref":"master","sha":"f38faa67994699d1af178921bd9ff06ddb7f004e","user":{"login":"ClemsonRSRG","id":2206640,"avatar_url":"https://avatars0.githubusercontent.com/u/2206640?v=4","gravatar_id":"","url":"https://api.github.com/users/ClemsonRSRG","html_url":"https://github.com/ClemsonRSRG","followers_url":"https://api.github.com/users/ClemsonRSRG/followers","following_url":"https://api.github.com/users/ClemsonRSRG/following{/other_user}","gists_url":"https://api.github.com/users/ClemsonRSRG/gists{/gist_id}","starred_url":"https://api.github.com/users/ClemsonRSRG/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ClemsonRSRG/subscriptions","organizations_url":"https://api.github.com/users/ClemsonRSRG/orgs","repos_url":"https://api.github.com/users/ClemsonRSRG/repos","events_url":"https://api.github.com/users/ClemsonRSRG/events{/privacy}","received_events_url":"https://api.github.com/users/ClemsonRSRG/received_events","type":"Organization","site_admin":false},"repo":{"id":33374161,"name":"RESOLVEWebAPI","full_name":"ClemsonRSRG/RESOLVEWebAPI","owner":{"login":"ClemsonRSRG","id":2206640,"avatar_url":"https://avatars0.githubusercontent.com/u/2206640?v=4","gravatar_id":"","url":"https://api.github.com/users/ClemsonRSRG","html_url":"https://github.com/ClemsonRSRG","followers_url":"https://api.github.com/users/ClemsonRSRG/followers","following_url":"https://api.github.com/users/ClemsonRSRG/following{/other_user}","gists_url":"https://api.github.com/users/ClemsonRSRG/gists{/gist_id}","starred_url":"https://api.github.com/users/ClemsonRSRG/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ClemsonRSRG/subscriptions","organizations_url":"https://api.github.com/users/ClemsonRSRG/orgs","repos_url":"https://api.github.com/users/ClemsonRSRG/repos","events_url":"https://api.github.com/users/ClemsonRSRG/events{/privacy}","received_events_url":"https://api.github.com/users/ClemsonRSRG/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/ClemsonRSRG/RESOLVEWebAPI","description":"This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.","fork":false,"url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI","forks_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/forks","keys_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/teams","hooks_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/hooks","issue_events_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/issues/events{/number}","events_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/events","assignees_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/assignees{/user}","branches_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/branches{/branch}","tags_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/tags","blobs_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/git/refs{/sha}","trees_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/statuses/{sha}","languages_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/languages","stargazers_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/stargazers","contributors_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/contributors","subscribers_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/subscribers","subscription_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/subscription","commits_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/commits{/sha}","git_commits_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/git/commits{/sha}","comments_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/comments{/number}","issue_comment_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/issues/comments{/number}","contents_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/contents/{+path}","compare_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/merges","archive_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/downloads","issues_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/issues{/number}","pulls_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls{/number}","milestones_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/milestones{/number}","notifications_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/labels{/name}","releases_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/releases{/id}","deployments_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/deployments","created_at":"2015-04-03T17:22:13Z","updated_at":"2016-10-24T19:33:46Z","pushed_at":"2017-12-15T06:30:48Z","git_url":"git://github.com/ClemsonRSRG/RESOLVEWebAPI.git","ssh_url":"git@github.com:ClemsonRSRG/RESOLVEWebAPI.git","clone_url":"https://github.com/ClemsonRSRG/RESOLVEWebAPI.git","svn_url":"https://github.com/ClemsonRSRG/RESOLVEWebAPI","homepage":null,"size":11274,"stargazers_count":0,"watchers_count":0,"language":"Java","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":1,"mirror_url":null,"archived":false,"open_issues_count":6,"license":{"key":"other","name":"Other","spdx_id":null,"url":null},"forks":1,"open_issues":6,"watchers":0,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/20"},"html":{"href":"https://github.com/ClemsonRSRG/RESOLVEWebAPI/pull/20"},"issue":{"href":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/issues/20"},"comments":{"href":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/issues/20/comments"},"review_comments":{"href":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/20/comments"},"review_comment":{"href":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/pulls/20/commits"},"statuses":{"href":"https://api.github.com/repos/ClemsonRSRG/RESOLVEWebAPI/statuses/2df2f30bb8c1dae4a7522e549a0d5bfb7529d95c"}},"author_association":"OWNER"}}
{"actor":{"display_login":"houndci-bot"}}