From 0858ea619059a0b383338d6af285c9754599b071 Mon Sep 17 00:00:00 2001 From: "eh@google.com" Date: Fri, 21 Mar 2014 18:23:56 +0000 Subject: [PATCH] java style guide update: presentation --- javaguide.css | 10 ++-- javaguide.html | 141 +++++++++++++++++++++++-------------------------- 2 files changed, 74 insertions(+), 77 deletions(-) diff --git a/javaguide.css b/javaguide.css index c15c9fa..c42ba83 100644 --- a/javaguide.css +++ b/javaguide.css @@ -128,6 +128,10 @@ body { margin-bottom:1em; } +em { + font-style: italic +} + h1, h2, h3, @@ -402,7 +406,7 @@ ul.nolist { code, kbd, pre { - color:#007000; + color:#009900; } kbd { @@ -426,10 +430,10 @@ pre.prettyprint { } code.bad, code.badcode { - background-color:#fcc; + color: magenta; } pre.bad, pre.badcode { - background-color:#fcc; + background-color:#ffe6d8; border-top:1px inset #a03; border-left:1px inset #a03; } diff --git a/javaguide.html b/javaguide.html index 610c7ce..74bfbad 100644 --- a/javaguide.html +++ b/javaguide.html @@ -2,7 +2,7 @@ - @@ -10,7 +10,7 @@

Google Java Style

-
Last changed: February 03, 2014
+
Last changed: March 21, 2014
@@ -241,14 +241,11 @@
7.3.2 Exception: overrides
-
-7.3.3 Optional javadoc -
-

-
Last changed: February 03, 2014
+


+
Last changed: March 21, 2014