Color tweaks

app.py

@@ -182,10 +182,7 @@ class RequestHandler(SimpleHTTPRequestHandler):
             output['day'] = list(returned_values.keys())[::-1]
 
             # Trim down to a smaller number of points.
-            if len(output) > 100:
-                output = {
-                    k: [v for i, v in enumerate(value) if i % int(len(value) / 100) == 0] for k, value in output.items()
-                }
+            output = {k: [v for i, v in enumerate(value) if i % int(len(value) / 100) == 0] for k, value in output.items()}
 
             return self.response(output)
 
@@ -223,10 +220,9 @@ class RequestHandler(SimpleHTTPRequestHandler):
             output['day'] = list(returned_values.keys())[::-1]
 
             # Trim down to a smaller number of points.
-            if len(output) > 100:
-                output = {
-                    k: [v for i, v in enumerate(value) if i % int(len(value) / 100) == 0] for k, value in output.items()
-                }
+            output = {
+                k: [v for i, v in enumerate(value) if i % int(len(value) / 100) == 0] for k, value in output.items()
+            }
 
             return self.response(output)
 

index.js

@@ -1,6 +1,12 @@
-if (document.location.search.includes('dark-theme=true')) {
+let dark = document.location.search.includes('dark-theme=true');
+
+if (dark)
     document.body.classList.add('dark-theme');
-}
+
+
+var COLORS = dark ?
+    ['#FF0000', '#00FF00', '#0000FF', '#FF00FF', '#FFFF00', '#0000FF', '#F090F0', '#90F0F0', '#F0F090'] :
+    ['#CC0000', '#00CC00', '#0000CC', '#CC00CC', '#CCCC00', '#0000CC', '#C060C0', '#60C0C0', '#C0C060']
 
 const load = () => {
     const l0 = document.createElement('div')
@@ -33,8 +39,6 @@ const getCheckedOptions = () => {
             optionsDict[key] = [value]
     }
 
-    console.log('dict', optionsDict)
-
     return optionsDict;
 }
 
@@ -47,7 +51,6 @@ const addOption = (category, optionName) => {
     let optionNumber = 0;
     while (!found && ++optionNumber < 100) {
         let previousOption = document.getElementById(`${category}-option-${optionNumber}`);
-        console.log(previousOption)
         found = previousOption === null;
     }
 
@@ -176,9 +179,8 @@ const retrievePipInstalls = async (libraryNames, options) => {
     const relevantOptions = options['pip']
     const inferResponse = await fetch(`retrievePipInstalls?input=${libraryNames}&options=${relevantOptions}`);
     const inferJson = await inferResponse.json();
-    const colors = ['#FF0000', '#00FF00', '#0000FF', '#FF00FF', '#FFFF00', '#0000FF', '#F090F0', '#90F0F0', '#F0F090']
+    const colors = [...COLORS];
 
-    console.log(inferJson)
     const labels = Array.from(inferJson['day']).map(e => new Date(e))
     const datasets = [];
     for (const element in inferJson) {
@@ -227,7 +229,7 @@ const retrieveStars = async (libraryNames, options) => {
     const relevantOptions = options['stars']
     const inferResponse = await fetch(`retrieveStars?input=${libraryNames}&options=${relevantOptions}`);
     const inferJson = await inferResponse.json();
-    const colors = ['#FF0000', '#00FF00', '#0000FF', '#FF00FF', '#FFFF00', '#0000FF', '#F090F0', '#90F0F0', '#F0F090']
+    const colors = [...COLORS];
 
     const labels = Array.from(inferJson['day']).map(e => new Date(e))
     const datasets = [];
@@ -278,9 +280,8 @@ const retrieveIssues = async (libraryNames, options) => {
     const relevantOptions = options['issue']
     const inferResponse = await fetch(`retrieveIssues?input=${libraryNames}&options=${relevantOptions}`);
     const inferJson = await inferResponse.json();
-    const colors = ['#FF0000', '#00FF00', '#0000FF', '#FF00FF', '#FFFF00', '#0000FF', '#F090F0', '#90F0F0', '#F0F090']
+    const colors = [...COLORS];
 
-    console.log(inferJson)
     const labels = Array.from(inferJson['day']).map(e => new Date(e))
     const datasets = [];
     for (const element in inferJson) {