+
+/* Plugins box. */
+div.plugins {
+ background: #f8f8ff;
+ border: 1px solid rgb(204,0,0);
+ border-radius: 15px;
+ width: 800px;
+ height: 400px;
+ /* Position relative is needed so that items may be
+ positioned inside. */
+ position: relative;
+ column-count: 4;
+}
+
+div.plugins p#caption {
+ position: absolute;
+ bottom: -5px; right: 5px;
+ color: rgb(204,0,0);
+ text-align: right;
+ font-size: 16px;
+ font-weight: bold;
+}
+
+div.plugins ul {
+ list-style-type: none;
+ top: 50%;
+ transform: translateY(15%);
+ margin: 0;
+}
+
+div.plugins ul li {
+ padding: 4px;
+ margin: 5px;
+}
+
+div.plugins ul li.highlighted {
+ border: 1px solid rgb(204,0,0);
+ background: #fff;
+ padding-left: 10px;
+ color: rgb(204,0,0);
+ border-radius: 20px;
+ font-weight: bold;
+}
+
+/* Filters box. */
+div.filters {
+ background: #f8fff8;
+ border: 1px solid rgb(204,0,0);
+ border-radius: 15px;
+ width: 800px;
+ height: 200px;
+ /* Position relative is needed so that items may be
+ positioned inside. */
+ position: relative;
+ column-count: 4;
+}
+
+div.filters p.filtercaption {
+ position: absolute;
+ bottom: -5px; right: 5px;
+ color: rgb(204,0,0);
+ text-align: right;
+ font-size: 16px;
+ font-weight: bold;
+}
+
+div.filters ul {
+ list-style-type: none;
+ top: 50%;
+ transform: translateY(15%);
+ margin: 0;
+}
+
+div.filters ul li {
+ padding: 4px;
+ margin: 5px;
+}
+
+div.filters ul li.highlighted {
+ border: 1px solid rgb(204,0,0);
+ background: #fff;
+ padding-left: 10px;
+ color: rgb(204,0,0);
+ border-radius: 20px;
+ font-weight: bold;
+}