#[ #### "padding: 1em 0em 1em .5em;" means top right bottom left blue1 = "#2662b2" blue = "#1060f0" white = "#fff" yellow = "#ff3" maxwidth = 55 cloudbackground = offwhite = "#f0ffff" lightblue = "#c8f0ff" cream = "#f0ecd8" ## "#f9f6e7" gray = "#ddd" home = "http://aima.cs.berkeley.edu/3rd-ed" def a(url, anchor, tip='', src=None): "Anchor and link" if src == url: return anchor elif tip: return '%s' % (url, tip, anchor) else: return '%s' % (url, anchor) def right (text): return '
%s
' % text def hilite(): return '' % yellow def _hilite(): return '' def nbsp(n=1): return n * " " def search(chars=18): return """
""" logo = '' cover = """cover """ leftnav = (logo + """

 

""" % '
  • '.join([a('index.html', 'AIMA Home'), a('https://github.com/aimacode', 'Code'), #a('chapters.html', 'Chapters'), a('contents.html', 'Contents'), a('adoptions.html', 'Courses'), a('errata.html', 'Errata'), a('instructors.html', 'Instructors')])) + search() + cover def leftright(left, right): return '
    %s%s
    ' % (left, right) def header(title, src=None, h1=True): return """%s
    %s
    %s
    \n""" % (title, leftnav, (h1 and ("

    %s

    " % title) or '')) ## leaves content div open yaptu_filename = "" def ch(num, name=''): return (' ' * (6-len(str(num)))) + str(num) + name def b(text): return '' + text + '' def i(text): return '' + text + '' def sc(text): return '' + text + '' analytics = """ """ def footer(src=None, files=[]): import os, time try: t = time.localtime(os.stat(yaptu_filename)[8]) for f in files: ## Consider all files this file depends on t = max(t, time.localtime(os.stat(f)[8])) except OSError: t = time.localtime() modified = "Modified: " + time.strftime("%b %d, %Y", t) return ('

    %s' % (leftright(a(home, "AI: A Modern Approach", src=src), modified), analytics)) def if_(test, result, alternative=""): if test: return result return alternative def fieldsplit(sep, lines): if isinstance(lines, str): lines = lines.strip().split('\n') return [[f.strip() for f in line.split(sep)] for line in lines] #] BODY { background:<> } STRONG {color:<> font-family:"sans-serif" font-size:80%} HR, H1, H2, H3 { color:<> } H1 { font-size:200%; line-height:140% } TABLE { valign:top; cellspacing:0; cellpadding:0 } .bluebox, .bluebox TD, .bluebox TR {color:<>; cellpadding:2; border: solid <>} .bluebox TD { color:<>; cellpadding:4} .side, .side TD { color:<>; white-space:nowrap; font-size:80% background-color:#ccffcc; border:solid thin <>; cellpadding:4} .big {font-size:200%;} .tagcloudbackground { padding: 3px; border: solid 1px #eee; background: <>; } .tagcloud { color: <>; padding: 3px; text-decoration: none; } .tagcloud:link { color: <>; } .tagcloud:visited { color: <>; } .tagcloud:hover { color: <>; background: <>; } .tagcloud:active { color: <>; background: <>; } #container { width: 100%; margin: 1px auto; background-color: <>; color: #333; border: 1px solid gray; line-height: 130%; } #top { padding: .2em 0em .2em .5em; margin-left: 150px; margin-top: .45em; margin-right: .45em; background-color: <>; border: 1px solid gray; min-width: 20em; max-width: <>em; } #top h1 { padding: 0; margin: 0; } #leftnav { float: left; width: 140px; margin: 0; padding: .4em; } #content { margin-left: 150px; margin-right: 0px; padding: .5em; min-width: 20em; max-width: <>em; } #footer { clear: both; margin: 0; padding: .7em; margin: .45em; color: #333; background-color: <>; border: 1px solid gray; min-width: <<20+9>>em; max-width: <>em; } #leftnav p { margin: 0 0 .1em 0; } #content h222 { margin: 0 0 .1em 0; } /*Credits: Dynamic Drive CSS Library */ /*URL: http://www.dynamicdrive.com/style/ */ #blueblock{ width: 134px; border-right: 1px solid #000; padding: 0 0 0em 0; font-family: 'Trebuchet MS', 'Lucida Grande', Arial, sans-serif; font-size: 90%; background-color: <>; color: #333; } #blueblock ul{list-style: none; margin: 0; padding: 0; border: none; } #blueblock li {border-bottom: 1px solid #90bade; margin: 0; } #blueblock li a{display: block; padding: 5px 5px 5px 8px; border-left: 10px solid #1958b7; background-color: #2175bc; color: <>; text-decoration: none; width: 100%; } #blueblock li a{ width: auto; } #blueblock li a:hover{ border-left: 10px solid #1c64d1; background-color: #2586d7; color: <>; }