File content as of revision 31:b5ca802195a7:

#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

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 PageAddLabelledName (char* label, float labelwidth, char* name, char* suffix);
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 PageAddTextInput    (char* action, float width, char* label, float labelwidth, char* name, float inputwidth, char* value);
extern void PageAddIntInput     (char* action, float width, char* label, float labelwidth, char* name, float inputwidth, int value);
extern void PageAddHexInput     (char* action, float width, char* label, float labelwidth, char* name, float inputwidth, char value0, char value1);
extern void PageAddCheckInput   (char* action, char* label, char* name, char* button);

extern void PageAddAjaxToggle   (float labelwidth, char* label,                   char* id, char* request);
extern void PageAddAjaxInput    (float labelwidth, char* label, float inputwidth, char* id, char* request);