+#headerTitle {
+ /* let it take all available space */
+ width: 9999px;
+}
+
+a.action.delete, table.table form button.action.delete {
+ position: absolute;
+ right: 0px;
+ padding: 17px 14px;
+ padding: 3px 14px;
+}
+a.action {
+ line-height: 30px;
+}
+a.cellclick {
+ display: block;
+}
+table.table form {
+ display: inline;
+}
+table.table form button.action {
+ border: none;
+ background-color: transparent;
+}
+
+.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