+
+.muted {
+ color: #999;
+}
+
+.note-content {
+ padding-top: 2ex;
+}
+
+.note-content .strikethrough {
+ text-decoration: line-through;
+}
+.note-content .highlight {
+ background-color: yellow;
+}
+.note-content .small {
+ font-size: 80%;
+}
+.note-content .large {
+ font-size: 150%;
+}
+.note-content .huge {
+ font-size: 200%;
+}
+.note-content a {
+ text-decoration: underline;
+}
+
+#searchresults {
+ margin-top: 0px;
+ min-height: 100%;
+ margin-bottom: 50px;
+}
\ No newline at end of file