Commit Graph

19 Commits

Author SHA1 Message Date
Adrien Tétar 5a01dbe67b doc: disable parser error highlighting + a few fixes
CodeMirror parser errors are related to #9873.
2013-11-13 09:32:29 +01:00
Adrien Tétar 123e0cefb6 doc: CSS: fix code fonts
Closes #10330.
2013-11-12 21:36:09 +01:00
Adrien Tétar 3995495c4a doc: expand tutorial/manual CSS
Cleanup, edit, add some Bootstrap v3.0.0 elements.
2013-10-21 04:12:58 +02:00
Adrien Tétar 5d1fc864c7 doc/rust.HTML: proper version box 2013-10-19 20:31:53 +02:00
Sander Mathijs van Veen 64ccc60eee Remove h[123] border and increase their padding to better readability 2013-06-16 17:40:45 +02:00
SiegeLord d641b0b575 Alter rust.css to make the documentation look more appealing 2013-06-11 20:43:26 -04:00
Brian Anderson 4d745c288a rustdoc: Tweak list style 2013-03-26 09:31:44 -07:00
Brian Anderson c3f9b7243b docs: Tweak style 2012-09-30 21:35:32 -07:00
Brian Anderson 349ef79ce7 docs: Only display one level of hierarchy in the TOC 2012-09-25 15:03:32 -07:00
Brian Anderson db4cae8d91 docs: Fix style sheet for tables 2012-09-25 15:03:32 -07:00
Brian Anderson 36602a1f71 tutorial: Convert the type list to a more compact table 2012-09-22 21:23:12 -07:00
Paul Stansifer fa882d4295 Add a badge to the tutorial and reference docs indicating which Rust version they pertain to. 2012-07-19 17:09:03 -07:00
Brian Anderson 53bb4192d8 tutorial: Use a more tasteful blockquote style 2012-07-07 23:45:28 -07:00
Brian Anderson 994c881538 tutorial: Use blockquotes for asides. Add styling 2012-07-07 15:51:11 -07:00
Kevin Cantu 8103611b7f Use smaller 32x32 logo 2012-06-16 12:48:48 -07:00
Kevin Cantu 976fae80a0 Add logo to HTML docs 2012-06-16 12:35:01 -07:00
Brian Anderson 91b988ea45 doc: Indent preformatted text a little more 2012-03-10 15:26:41 -08:00
Marijn Haverbeke a4b77758f0 Move tutorial over to a format similar to the reference doc
And adjust highlighting/testing scripts to deal with this.
2012-01-19 13:34:10 +01:00
Marijn Haverbeke ba6c94e321 Add a stylesheet to make the reference HTML look a bit prettier 2012-01-18 16:28:31 +01:00