Rough draft

_config.yml

@@ -173,7 +173,6 @@ collections:
       height: 300
       width: 300
       subpath: '/assets/images/'
-
   news:
     defaults:
       layout: post
@@ -183,15 +182,10 @@ collections:
     output: true
     permalink: /projects/:path/
 
-# defaults:
-#   - scope:
-#       path: ''
-#       type: members
+# - scope:
+#     path: /members/
 #     values:
-#       layout: member
-#       height: 300
-#       subpath: '/assets/images/'
-#       width: 300
+#       layout: none
 
 
 announcements:

_layouts/default.html

@@ -22,6 +22,7 @@
         <div class="row">
           <!-- main content area -->
           <div class="col-sm-9">
+
             {{ content }}
           </div>
           <!-- sidebar, which will move to the top on a small screen -->

_layouts/member.html

@@ -1,3 +1,6 @@
+---
+template: none
+---
 <div class="member">
   {%- if page.photo -%}
   <img class="member-image" src="{{ site.baseurl }}{{ page.subpath }}{{ page.photo }}" alt="" width="{{ page.width }}" height="{{ page.height }}">
@@ -10,19 +13,33 @@ <h3 class="member-name" id="{{ page.name | slugify }}">
       {{ page.name }}
       {%- endif -%}
     </h3>
+
     {%- if page.pronouns -%}
     <p class="member-pronouns">{{ page.pronouns }}</p>
     {%- endif -%}
+
     {%- if page.email -%}
     <p><a href="mailto:{{ page.email }}">{{ page.email }}</a></p>
     {%- endif -%}
-    {%- if page.meta -%}
-    <dl class="member-meta">
-      {%- for meta in page.meta -%}
-      <dt>{{ meta[0] }}</dt>
-      <dd>{{ meta[1] | markdownify }}</dd>
-      {%- endfor -%}
-    </dl>
+
+    {%- if page.subrole -%}
+    <p></strong>{{page.subrole}}</strong></p>
     {%- endif -%}
+
+    {%- if page.advisor -%}
+    <p><strong>Advisor:</strong> {{page.advisor}}</p>
+    {%- endif -%}
+    {%- if page.interests -%}
+    <p><strong>Research Interests:</strong> {{page.interests}}</p>
+    {%- endif -%}
+
+    <!-- <dl class="member-meta"> -->
+    <!--   {%- for meta in page.meta -%} -->
+    <!--   <dt>{{ meta[0] }}</dt> -->
+    <!--   <dd>{{ meta[1] | markdownify }}</dd> -->
+    <!--   {%- endfor -%} -->
+    <!-- </dl> -->
+
+    {{content}}
   </div>
 </div>

_members/alex.md

@@ -2,9 +2,13 @@
 name: Alex Hubers
 pronouns: he/him
 role: Graduate Student
+subrole: Ph.D. Student
+advisor: J. Garrett Morris
+interests: Row type theories
 email: [email protected]
 website: https://ahubers.github.io
 photo: alex.jpg
 layout: member
 subpath: '/assets/img/'
 ---
+<!-- Write anything else here and it will be printed. -->

_members/andrew.md

@@ -0,0 +1,13 @@
+---
+name: Andrew Marmaduke
+pronouns: he/him
+role: Research Scientist
+subrole: Postdoctoral scholar
+interests: Elden Ring
+email: [email protected]
+website: https://uiowa.marmamorphism.com/#:~:text=Andrew%20Marmaduke
+photo: andrew.jpg
+layout: member
+subpath: '/assets/img/'
+---
+<!-- Write anything else here and it will be printed. -->

_members/garrett.md

@@ -0,0 +1,13 @@
+---
+name: J. Garrett Morris
+pronouns: he/him
+role: Professor
+subrole: Assistant Professor
+interests: Programming Languages
+email: [email protected]
+website: https://homepage.cs.uiowa.edu/~jgmorrs/
+photo: garrett.jpg
+layout: member
+subpath: '/assets/img/'
+---
+<!-- Write anything else here and it will be printed. -->

_pages/about.md

@@ -1,8 +1,7 @@
 ---
 layout: about
-title: The CLC
+title: 
 permalink: /
-
 profile:
   align: right
   image: mlh.jpg
@@ -12,16 +11,13 @@ profile:
     <p>The University of Iowa</p>
     <p>1 Jessup Hall</p>
     <p>Iowa City, IA 52242</p>
-
+nav: false
 news: true  # includes a list of news items
 latest_posts: true  # includes a list of the newest posts
 selected_papers: false # includes a list of papers marked as "selected={true}"
 social: false  # includes social icons at the bottom of the page
 ---
 
-
-
-
-The Computational Logic Center at The University of Iowa seeks to advance the theory and practice of correct software development, by applying techniques from logic, programming languages, and automated theorem proving.
+The Computational Logic Center at [The University of Iowa](https://cs.uiowa.edu) seeks to advance the theory and practice of correct software development, by applying techniques from logic, programming languages, and automated theorem proving.
 
 Our primary research areas are foundations of programming languages, type theory, computer-aided verification, automated reasoning, computer security and privacy.

_pages/members.md

@@ -11,19 +11,28 @@ nav_order: 1
 
 {% assign members = site.members | where: 'role', 'Professor' %}
 {% for member in members %}
-{{ member }}
+{{ member | slice: 106, 1000 }} <!-- HACK! -->
+{% endfor %}
+
+## Research Scientists & Postdoctoral Scholars
+
+{% assign members = site.members | where: 'role', 'Research Scientist' %}
+{% for member in members %}
+{{ member | slice: 106, 1000 }} <!-- HACK! -->
 {% endfor %}
 
-## Research Scientists
 
 ## Graduate Students
 
 {% assign members = site.members | where: 'role', 'Graduate Student' %}
 {% for member in members %}
-{{ member }}
+{{ member | slice: 106, 1000 }} <!-- HACK! -->
 {% endfor %}
 
 
 
 ## Recent Alumni
-- foobar
+- [Arjun Viswanathan, Ph.D. '24](https://homepage.cs.uiowa.edu/~viswanathn/). *Some college in the Northeast.*
+- [Andrew Marmaduke, Ph.D. '24](https://uiowa.marmamorphism.com/#:~:text=Andrew%20Marmaduke). *Postdoctoral scholar at University of Iowa.*
+- [Christa Jenkins, Ph.D. '23](https://cwjnkins.github.io/#:~:text=Postdoctoral). *Postdoctoral associate at Stony Brook University.*
+- Add more.

_pages/projects.md

@@ -7,7 +7,7 @@ nav: true
 nav_order: 1
 ---
 
-doo doo doo.
+ADD STUFF HERE.
 
 ## Popular Repositories 
 {% if site.data.repositories.artifacts %}

_plugins/details.rb

@@ -21,4 +21,4 @@ def render(context)
     end
   end
 
-  Liquid::Template.register_tag('details', Jekyll::Tags::DetailsTag)
+  Liquid::Template.register_tag('details', Jekyll::Tags::DetailsTag)

_sass/_themes.scss

@@ -3,11 +3,11 @@
  ******************************************************************************/
 
 :root {
-  --global-bg-color: #{$grey-med};
+  --global-bg-color: #{$grey-color-dark};
   --global-code-bg-color: #{$code-bg-color-dark};
-  --global-text-color: #{$grey-color-light};
+  --global-text-color: #{$white-color};
   --global-text-color-light: #{$grey-color-light};
-  --global-theme-color: #{$yellow-color};
+  --global-theme-color: #{$UI-yellow};
   --global-hover-color: #{$cyan-color};
   --global-hover-text-color: #{$white-color};
   --global-footer-bg-color: #{$grey-color-dark};

_sass/_variables.scss

@@ -22,6 +22,9 @@ $light-purple-color:  lighten($purple-color, 25%);
 $pink-color:          #f92080 !default;
 $pink-color-light:    #ffdddd !default;
 $yellow-color:        #efcc00 !default;
+$yellow-color-dark:   darken($yellow-color, 20%);
+$UI-yellow:           #FFCD00 !default;
+$UI-yellow-dark:      darken($UI-yellow, 10%);
 
 $grey-color:          #828282 !default;
 $grey-color-light:    lighten($grey-color, 40%);

_site/feed.xml

@@ -1 +1 @@
-<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="4.3.2">Jekyll</generator><link href="https://clc.github.io/feed.xml" rel="self" type="application/atom+xml"/><link href="https://clc.github.io/" rel="alternate" type="text/html" hreflang="en"/><updated>2024-09-03T16:40:01+00:00</updated><id>https://clc.github.io/feed.xml</id><title type="html">The Computational Logic Center</title><subtitle></subtitle></feed>
+<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="4.3.2">Jekyll</generator><link href="https://clc.github.io/feed.xml" rel="self" type="application/atom+xml"/><link href="https://clc.github.io/" rel="alternate" type="text/html" hreflang="en"/><updated>2024-09-03T18:22:38+00:00</updated><id>https://clc.github.io/feed.xml</id><title type="html">The Computational Logic Center</title><subtitle></subtitle></feed>