-@import url("../common/textarea.css");
-
body {
font-family: Helvetica Neue, Arial, Helvetica, sans-serif;
font-size: 90%;
padding-left: 1em; */
}
+#toc .entry:hover {
+ color: blue;
+ cursor: pointer;
+}
+
#toc .entry .selected {
- color: #00b;
+ color: #090;
}
-#title {
+#code a:hover {
+ color: blue;
+ cursor: pointer;
+}
+
+#demotitle {
text-align: center;
font-size: 1.5em;
vertical-align: bottom;
}
+.subdued:link,
+.subdued:visited,
+.subdued:active {
+ color: #000;
+}
+
+.subdued:hover {
+ color: blue;
+}
+
+a {
+ text-decoration: none;
+}
+
/* CSS for drawing tool */
#workarea #drawing #tool_zoom {
background: url('images/tool-palette.png');