Improve spec style and minor changes

pkg/analysis_server/tool/spec/to_html.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * Code for displaying the API as HTML.  This is used both for generating a
  * full description of the API as a web page, and for generating doc comments
  * in generated code.
  */
 library to.html;
 
 import 'dart:convert';
 import 'dart:io';
 
 import 'package:html5lib/dom.dart' as dom;
 
 import 'api.dart';
 import 'codegen_tools.dart';
 import 'from_html.dart';
 import 'html_tools.dart';
 
 /**
  * Embedded stylesheet
  */
 final String stylesheet = '''
+body {
+  font-family: sans-serif, serif;
+  padding-left: 5%;
+  padding-right: 5%;
+}
 h1 {
   text-align: center;
 }
+h2.domain {
+  border-bottom: 3px solid rgb(160, 160, 160);
+}
 pre {
   margin: 0px;
 }
 div.box {
   border: 1px solid rgb(0, 0, 0);
   background-color: rgb(207, 226, 243);
   padding: 0.5em;
 }
+div.hangingIndent {
+  padding-left: 3em;
+  text-indent: -3em;
+}
 dt {
   margin-top: 1em;
   margin-bottom: 1em;
 }
-div.hangingIndent {
-  padding-left: 3em;
-  text-indent: -3em;
+dt.notification {
+  font-weight: bold;
+}
+dt.refactoring {
+  font-weight: bold;
+}
+dt.request {
+  font-weight: bold;
+}
+dt.typeDefinition {
+  font-weight: bold;
 }
 '''.trim();
 
 /**
  * Helper methods for creating HTML elements.
  */
 abstract class HtmlMixin {
   void element(String name, Map<dynamic, String> attributes, [void callback()]);
 
   void anchor(String id, void callback()) {
@@ skipping 16 matching lines @@
   void body(void callback()) => element('body', {}, callback);
   void dd(void callback()) => element('dd', {}, callback);
   void dl(void callback()) => element('dl', {}, callback);
   void dt(String cls, void callback()) => element('dt', {
     'class': cls
   }, callback);
   void gray(void callback()) => element('span', {
     'style': 'color:#999999'
   }, callback);
   void h1(void callback()) => element('h1', {}, callback);
-  void h2(void callback()) => element('h2', {}, callback);
+  void h2(String cls, void callback()) {
+    if (cls == null) {
+      return element('h2', {}, callback);
+    }
+    return element('h2', {
+      'class': cls
+    }, callback);
+  }
   void h3(void callback()) => element('h3', {}, callback);
   void h4(void callback()) => element('h4', {}, callback);
   void hangingIndent(void callback()) => element('div', {
     'class': 'hangingIndent'
   }, callback);
   void head(void callback()) => element('head', {}, callback);
   void html(void callback()) => element('html', {}, callback);
   void i(void callback()) => element('i', {}, callback);
   void p(void callback()) => element('p', {}, callback);
   void pre(void callback()) => element('pre', {}, callback);
@@ skipping 172 matching lines @@
   @override
   void visitTypes(Types types) {
     translateHtml(types.html);
     dl(() {
       super.visitTypes(types);
     });
   }
 
   @override
   void visitDomain(Domain domain) {
-    h2(() {
+    h2('domain', () {
       anchor('domain_${domain.name}', () {
         write('Domain: ${domain.name}');
       });
     });
     translateHtml(domain.html);
     if (domain.requests.isNotEmpty) {
       h3(() {
         write('Requests');
       });
       dl(() {
@@ skipping 250 matching lines @@
  */
 main() {
   ToHtmlVisitor visitor = new ToHtmlVisitor(readApi());
   dom.Document document = new dom.Document();
   for (dom.Node node in visitor.collectHtml(visitor.visitApi)) {
     document.append(node);
   }
   File outputFile = new File('../../doc/api.html');
   outputFile.writeAsStringSync(document.outerHtml);
 }