about summary refs log tree commit diff
path: root/doc/tutorial/web
diff options
context:
space:
mode:
authorMarijn Haverbeke <marijnh@gmail.com>2011-11-01 12:26:17 +0100
committerMarijn Haverbeke <marijnh@gmail.com>2011-11-01 12:46:46 +0100
commite8e2cd44f48a6edcdd4477ab66f0fc5935ecd1a1 (patch)
tree26c4cf692d124b6bbefc10b9a17b3e9e06044855 /doc/tutorial/web
parent8b57cb90e50b600824c967470483462aeb663e50 (diff)
downloadrust-e8e2cd44f48a6edcdd4477ab66f0fc5935ecd1a1.tar.gz
rust-e8e2cd44f48a6edcdd4477ab66f0fc5935ecd1a1.zip
Add syntax highlighting to the code snippets in the tutorial
Using the CodeMirror Rust mode.
Diffstat (limited to 'doc/tutorial/web')
-rw-r--r--doc/tutorial/web/default.css19
-rw-r--r--doc/tutorial/web/style.css5
2 files changed, 21 insertions, 3 deletions
diff --git a/doc/tutorial/web/default.css b/doc/tutorial/web/default.css
new file mode 100644
index 00000000000..e68f0fb378c
--- /dev/null
+++ b/doc/tutorial/web/default.css
@@ -0,0 +1,19 @@
+.cm-s-default span.cm-keyword {color: #708;}
+.cm-s-default span.cm-atom {color: #219;}
+.cm-s-default span.cm-number {color: #164;}
+.cm-s-default span.cm-def {color: #00f;}
+.cm-s-default span.cm-variable {color: black;}
+.cm-s-default span.cm-variable-2 {color: #05a;}
+.cm-s-default span.cm-variable-3 {color: #0a5;}
+.cm-s-default span.cm-property {color: black;}
+.cm-s-default span.cm-operator {color: black;}
+.cm-s-default span.cm-comment {color: #a50;}
+.cm-s-default span.cm-string {color: #a11;}
+.cm-s-default span.cm-string-2 {color: #f50;}
+.cm-s-default span.cm-meta {color: #555;}
+.cm-s-default span.cm-error {color: #f00;}
+.cm-s-default span.cm-qualifier {color: #555;}
+.cm-s-default span.cm-builtin {color: #30a;}
+.cm-s-default span.cm-bracket {color: #cc7;}
+.cm-s-default span.cm-tag {color: #170;}
+.cm-s-default span.cm-attribute {color: #00c;}
diff --git a/doc/tutorial/web/style.css b/doc/tutorial/web/style.css
index a71180027f0..c3d8fa43441 100644
--- a/doc/tutorial/web/style.css
+++ b/doc/tutorial/web/style.css
@@ -18,9 +18,8 @@ code {
 }
 
 pre {
-  margin: 1.1em 12px;
-  border: 1px solid #CCCCCC;
-  padding: .4em;
+  margin: 1.1em 0;
+  padding: .4em .4em .4em 1em;
   font-size: 120%;
 }