Gecko [ 167.86.127.34 ]

Name	Size	Permission
.pkexec	[ DIR ]	drwxr-xr-x
GCONV_PATH=.	[ DIR ]	drwxr-xr-x
lang	[ DIR ]	drwxrwxrwx
layout	[ DIR ]	drwxrwxrwx
pix	[ DIR ]	drwxrwxrwx
style	[ DIR ]	drwxrwxrwx
.mad-root	0 B	-rw-r--r--
config.php	7.77 KB	-rwxrwxrwx
lib.php	1.75 KB	-rwxrwxrwx
pwnkit	10.99 KB	-rwxr-xr-x
settings.php	2.05 KB	-rwxrwxrwx
version.php	1.2 KB	-rwxrwxrwx

Code Editor : lib.php

<?php

/**
 * Makes our changes to the CSS
 *
 * @param string $css
 * @param theme_config $theme
 * @return string 
 */
function nimble_process_css($css, $theme) {

// Set the link color
    if (!empty($theme->settings->linkcolor)) {
        $linkcolor = $theme->settings->linkcolor;
    } else {
        $linkcolor = null;
    }
    $css = nimble_set_linkcolor($css, $linkcolor);

// Set the link hover color
    if (!empty($theme->settings->linkhover)) {
        $linkhover = $theme->settings->linkhover;
    } else {
        $linkhover = null;
    }
    $css = nimble_set_linkhover($css, $linkhover);
    
    
    // Set the background color
    if (!empty($theme->settings->backgroundcolor)) {
        $backgroundcolor = $theme->settings->backgroundcolor;
    } else {
        $backgroundcolor = null;
    }
    $css = nimble_set_backgroundcolor($css, $backgroundcolor);

// Return the CSS
    return $css;
}

/**
 * Sets the link color variable in CSS
 *
 */
function nimble_set_linkcolor($css, $linkcolor) {
    $tag = '[[setting:linkcolor]]';
    $replacement = $linkcolor;
    if (is_null($replacement)) {
        $replacement = '#2a65b1';
    }
    $css = str_replace($tag, $replacement, $css);
    return $css;
}

function nimble_set_linkhover($css, $linkhover) {
    $tag = '[[setting:linkhover]]';
    $replacement = $linkhover;
    if (is_null($replacement)) {
        $replacement = '#222222';
    }
    $css = str_replace($tag, $replacement, $css);
    return $css;
}

function nimble_set_backgroundcolor($css, $backgroundcolor) {
    $tag = '[[setting:backgroundcolor]]';
    $replacement = $backgroundcolor;
    if (is_null($replacement)) {
        $replacement = '#454545';
    }
    $css = str_replace($tag, $replacement, $css);
    return $css;
}

${this.title}

Code Editor : lib.php