File content as of revision 58:e5ab14ef6ea6:

#include <time.h>
#include <stdint.h>

#define    FAULT_PAGE 0
#define    CLOCK_PAGE 1
#define      NET_PAGE 2
#define      LOG_PAGE 3
#define    TRACE_PAGE 4
#define FIRMWARE_PAGE 5

extern const char* PageSite;
extern void PageAddNav(int page);

extern void PageAddHeader       (const char* site, const char* title, const char* style, const char* script);
extern void PageAddNavItem      (int highlight, char* href, char* title);
extern void PageAddH1           (const char* site, const char* pageName);
extern void PageAddH2           (const char* text);
extern void PageAddEnd          (void);

extern void PageAddLabelledValue(char* label, float labelwidth, char* value);
extern void PageAddLabelledMac  (char* label, float labelwidth, char* mac);
extern void PageAddLabelledIp4  (char* label, float labelwidth, uint32_t ip);
extern void PageAddLabelledIp6  (char* label, float labelwidth, char* ip);
extern void PageAddLabelledOnOff(char* label, float labelwidth, int value);
extern void PageAddLabelledInt  (char* label, float labelwidth, int value);
extern void PageAddTm           (struct tm* ptm);

extern void PageAddInputText    (float labelwidth, char* label, float inputwidth, char* value, char* action, char* name);
extern void PageAddInputInt     (float labelwidth, char* label, float inputwidth, int   value, char* action, char* name);
extern void PageAddInputButton  (float labelwidth, char* label,                   char* value, char* action, char* name);

extern void PageAddAjaxInputToggle(float labelwidth, char* label,                   char* id, char* name);
extern void PageAddAjaxInput      (float labelwidth, char* label, float inputwidth, char* id, char* name);
extern void PageAddAjaxLed        (float labelwidth, char* label,                   char* id);
extern void PageAddAjaxLabelled   (float labelwidth, char* label,                   char* id, char* suffix);