';
if ($avatar != "")
- $headline .= '';
+ $headline .= '';
// Bob Smith wrote the following post 2 hours ago
diff --git a/version.inc b/version.inc
index 8d8816a23..c06a0d149 100644
--- a/version.inc
+++ b/version.inc
@@ -1 +1 @@
-2015-02-04.935
+2015-02-05.936
diff --git a/view/theme/redbasic/css/style.css b/view/theme/redbasic/css/style.css
index 1aa7cc729..4afeac0b0 100644
--- a/view/theme/redbasic/css/style.css
+++ b/view/theme/redbasic/css/style.css
@@ -162,6 +162,18 @@ header {
filter:alpha(opacity=$nav_percent_min_opacity);
}
+/* experimental - increase size of notification counts on hover
+ * to make the notification dropdowns more accessible on portable devices.
+ * Currently they are mostly inaccessible without using huge magnifications.
+ * The question is if you can actually hover on a portable touchscreen device.
+
+.badge.dropdown-toggle:hover {
+ width: 2rem;
+ height: 2rem;
+}
+
+*/
+
#powered-by {
font-size: 0.5rem;
position: absolute;