From 8ef94d2854e3ab4233deb7a0c207f3a1feb73715 Mon Sep 17 00:00:00 2001
From: Tom Ball <tball@microsoft.com>
Date: Fri, 15 Jul 2016 11:47:22 -0700
Subject: [PATCH] update docs

---
 docs/docs.md  | 50 ++++++++++++++++++++------------------------------
 pxtarget.json |  4 ++++
 2 files changed, 24 insertions(+), 30 deletions(-)

diff --git a/docs/docs.md b/docs/docs.md
index ae8f7c65..177e231a 100644
--- a/docs/docs.md
+++ b/docs/docs.md
@@ -1,36 +1,26 @@
 # Documentation
 
-```sim
-basic.forever(() => {
-  basic.showString("DOCS ");
-})
-input.onButtonPressed(Button.A, () => {
-    led.stopAnimation();
-    basic.showLeds(`
-. . . . .
-. # . # .
-. . . . .
-# . . . #
-. # # # .`);
-});
-input.onButtonPressed(Button.B, () => {
-    led.stopAnimation();
-    basic.showLeds(`
-. # . # .
-# . # . #
-# . . . #
-. # . # .
-. . # . .`);
-});
-``` 
+### Things to do
 
-* **[getting started](/getting-started)**
-* Get started with [projects](/projects)
-* Browse the [micro:bit APIs](/reference)
-* Learn more about the [micro:bit device](/device)
-* Frequently Asked Question [faq](/faq)
-* Follow up with the [release notes](/release-notes)
+* **[Getting Started](/getting-started)**
+* [Ten projects](/projects)
+
+### Micro:bit reference
+
+* [The micro:bit APIs](/reference)
+* [The micro:bit device](/device)
+
+### Language and data reference
+
+* [Blocks language](/blocks)
+* [JavaScript language](/javascript)
+* [Streaming data](/streaming)
+
+### More questions?
+
+* [Frequently Asked Question](/faq)
+* [Release notes](/release-notes)
 
 ### Developers
 
-* Learn about [packages](/packages) (possibly using C++ or ARM thumb)
+* Learn about [packages](/packages)
diff --git a/pxtarget.json b/pxtarget.json
index f42d93d8..4fa6f175 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -118,6 +118,10 @@
             {
                 "name": "Streaming Data",
                 "path": "/streaming"
+            },
+            {
+                "name": "The Device",
+                "path": "/device"
             }
         ],
         "sideDoc": "getting-started"