From 14700b00b804242f1b086766edf53fb450357df8 Mon Sep 17 00:00:00 2001
From: Daniel Fremont <dfremont@ucsc.edu>
Date: Wed, 5 Jun 2024 16:03:51 -0700
Subject: [PATCH] revise front page

---
 _layouts/frontpage.html                 | 9 +++++++++
 _sass/layout/nutshell.scss              | 5 ++++-
 _scenic_applications/2-aviation.md      | 2 +-
 _scenic_applications/3-robotics.md      | 2 +-
 _scenic_applications/5-reinforcement.md | 2 +-
 _scenic_applications/6-more.md          | 8 ++++++++
 index.md                                | 2 +-
 7 files changed, 25 insertions(+), 5 deletions(-)
 create mode 100644 _scenic_applications/6-more.md

diff --git a/_layouts/frontpage.html b/_layouts/frontpage.html
index e625064..d2df8dc 100644
--- a/_layouts/frontpage.html
+++ b/_layouts/frontpage.html
@@ -176,6 +176,15 @@ <h3>{{site.scenic_applications[4].shortTitle}}</h3>
     </div>
   </section>
 
+  <section class="nutshell2">
+    <div class="wrapper row">
+      <div>
+        <h3>{{site.scenic_applications[5].shortTitle}}</h3>
+        <p>{{site.scenic_applications[5].content}}</p>
+      </div>
+    </div>
+  </section>
+
   <!-- Talks/Papers -->
   <section class="nutshell-head">
     <div class="wrap">
diff --git a/_sass/layout/nutshell.scss b/_sass/layout/nutshell.scss
index 489e404..62cc7d3 100755
--- a/_sass/layout/nutshell.scss
+++ b/_sass/layout/nutshell.scss
@@ -6,6 +6,8 @@
     background: $gray-nutshell;
 
     padding-top: 40px;
+    padding-left: 40px;
+    padding-right: 40px;
 
     .wrapper {
         max-width: 1280px;
@@ -376,7 +378,8 @@
     background: $gray-li;
     
     padding-top: 40px;
-
+    padding-left: 40px;
+    padding-right: 40px;
     
     
     .wrapper {
diff --git a/_scenic_applications/2-aviation.md b/_scenic_applications/2-aviation.md
index b8dca59..6ea6354 100644
--- a/_scenic_applications/2-aviation.md
+++ b/_scenic_applications/2-aviation.md
@@ -2,5 +2,5 @@
 shortTitle: "Aviation"
 ---
 <p>
-    Scenic has been interfaced to X-Plane simulator to test, debug, and design Boeing’s Taxi-Net to automate airplane taxing on ground airways. <a href="https://dl.acm.org/doi/10.1007/978-3-030-53288-8_6">https://dl.acm.org/doi/10.1007/978-3-030-53288-8_6</a>
+    Scenic has been interfaced to the <a href="https://www.x-plane.com/">X-Plane</a> simulator to test, debug, and retrain Boeing’s TaxiNet for autonomous airplane taxiing. See <a href="https://dl.acm.org/doi/10.1007/978-3-030-53288-8_6">our paper</a> for details.
 </p>
\ No newline at end of file
diff --git a/_scenic_applications/3-robotics.md b/_scenic_applications/3-robotics.md
index 53d394a..69b0d93 100644
--- a/_scenic_applications/3-robotics.md
+++ b/_scenic_applications/3-robotics.md
@@ -2,5 +2,5 @@
 shortTitle: "Robotics"
 ---
 <p>
-    Scenic is interfaced to Gazebo simulator with the robot operating system (ROS) for testing and debugging.
+    Scenic has been interfaced to the Webots and Gazebo simulators to train, test, and debug robots in a variety of applications.
 </p>
diff --git a/_scenic_applications/5-reinforcement.md b/_scenic_applications/5-reinforcement.md
index c3d0109..22b1508 100644
--- a/_scenic_applications/5-reinforcement.md
+++ b/_scenic_applications/5-reinforcement.md
@@ -2,5 +2,5 @@
 shortTitle: "Reinforcement Learning"
 ---
 <p>
-    Scenic has also been interfaced to Google Research Football simulator to train, either online or offline, reinforcement learning agents to play soccer. <a href="https://ojs.aaai.org/index.php/AAAI/article/view/20549">https://ojs.aaai.org/index.php/AAAI/article/view/20549</a>
+    Scenic has also been interfaced to Google Research Football simulator to train, either online or offline, reinforcement learning agents to play soccer. See <a href="https://ojs.aaai.org/index.php/AAAI/article/view/20549">our paper</a> for details.
 </p>
\ No newline at end of file
diff --git a/_scenic_applications/6-more.md b/_scenic_applications/6-more.md
new file mode 100644
index 0000000..b791955
--- /dev/null
+++ b/_scenic_applications/6-more.md
@@ -0,0 +1,8 @@
+---
+shortTitle: "And more..."
+---
+<p>
+    You can find a complete list of supported simulators <a href='https://scenic-lang.readthedocs.io/en/latest/simulators.html'>here</a>.
+    Scenic is also designed to be easy to interface to new simulators: see our <a href="https://scenic-lang.readthedocs.io/en/latest/new_simulator.html">documentation</a> for details.
+    If you have ideas for new simulators or application domains, let us know on <a href="https://forum.scenic-lang.org/">our forum</a>!
+</p>
\ No newline at end of file
diff --git a/index.md b/index.md
index a6620bd..a72afb0 100644
--- a/index.md
+++ b/index.md
@@ -20,7 +20,7 @@ whyScenicTitle: "Why Scenic?"
 
 # Scenic use cases
 useCaseTitle: "Wide Range of Applications"
-useCaseIntroduction: "Proven use cases across multiple domains. We currently support several simulators by default in Scenic. If you have a new simulator you'd like to interface to Scenic, or a new application domain, let us know!"
+useCaseIntroduction: "Proven use cases across multiple domains. Scenic has built-in support for a variety of simulators and application domains."
 
 # Scenic papers/talks
 papersTitle: "Relevant Papers & Talks"